The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilogdl.acm.org2 pointsmatt_d3 years ago