Hans Eveking

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Applications of a BDD-package to the verification of HDL descriptions

Dominique Borrione and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies

Register-transfer level verification in SMAX

Hans Eveking and others (1991) · CHARME Project Report THD-2.B.2.b-01

Axiomatizing hardware description languages

Hans Eveking (1990) · International Journal of Computer Aided VLSI Design