From a HDL Description to Formal Proof Systems: Principles and mechanization (1991)

by L Pierre
Venue:In Proceedings of CHDL'91