Martin Schweikert

According to our database, Martin Schweikert authored at least 6 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2011

Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen.

Martin Schweikert, Tobias Dornes, Hans Eveking

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen.

Tobias Dornes, Martin Schweikert, Hans Eveking

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Using SystemVerilog assertions to relate non-cycle-accurate to cycle-accurate designs.

Hans Eveking, Tobias Dornes, Martin Schweikert

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

2010

Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen.

Martin Schweikert, Hans Eveking

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2007

Multi-Level Assertion-Based Design.

Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set.

Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking

Proceedings of the Forum on specification and Design Languages, 2007