Hans Eveking
-
Verification of digital circuits based on formal semantics of a hardware description language
EURO-DAC '92 Proceedings of the conference on European design automation