Multi-Level Assertion-Based Design.

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

Browse the full MEMOCODE paper archive.