Kathi Fisler;Robert P. Kurshan
-;-
Formal specification in VHDL for hardware verification
Proceedings of the conference on Design, automation and test in Europe