The Semantic Challenge of Verilog HDL (1995)

by Mike Gordon
Venue:IN TENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, IEEE COMPUTER