The essence of Verilog: A tractable and tested operational semantics for Verilog

Recommended citation: Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma, and Yue Li*. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Cascais, Portugal, October 2023.
Download Paper | Download Slides | Download Bibtex