The Semantic Challenges of Verilog HDL (1995)

by M J C Gordon
Venue:in 10th Annual IEEE Symposium on Logic in Computer Science (LICS