2 ms·The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog2 points by matt_d 3y ago