140
click to vote
MEMOCODE
2010
IEEE
15 years 21 days ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...