Multiverse Debugging for Verilog (available)

Verilog is the most used hardware-description language: it is the primary language in which chips—from small microcontrollers to large SoCs and AI accelerators—are designed, simulated, and verified before being committed to silicon. Despite Verilog’s centrality in hardware development, its semantics is surprisingly poorly understood and the language is known for its many quirks. My recent … full description “Multiverse Debugging for Verilog (available)”