Martin Schweikert

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Tobias Dornes, Martin Schweikert, Hans Eveking
Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen. MBMV (2011)
Martin Schweikert, Tobias Dornes, Hans Eveking
Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen. MBMV (2011)
Hans Eveking, Tobias Dornes, Martin Schweikert
Using SystemVerilog assertions to relate non-cycle-accurate to cycle-accurate designs. HLDVT (2011)
Martin Schweikert, Hans Eveking
Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen. MBMV (2010)
Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler
Multi-Level Assertion-Based Design. MEMOCODE (2007)
Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. FDL (2007)