![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | 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: 291-292 |
1 | EE | Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler: Multi-Level Assertion-Based Design. MEMOCODE 2007: 85-86 |
1 | Hans Eveking | [1] [2] |
2 | Volker Nimbler | [1] |
3 | Martin Oberkönig (Martin Braun) | [1] [2] |
4 | Martin Schickel | [1] [2] |