Formal Reasoning with Verilog HDL (1998)

by Gordon J. Pace , Jifeng He
Venue:In Workshop on Formal Techniques for Hardware and Hardware-like Systems, Marstrand
Citations:8 - 2 self