Published September 6, 2023
| Version v2
Software
Open
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog (Artifact)
- 1. Nanjing University
Description
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog".