Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published October 20, 2023 | Version v3
Software Open

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog (Artifact)

Creators

  • 1. Nanjing University

Description

This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog".

Files

README.pdf

Files (1.4 GB)

Name Size Download all
md5:e62637ea8a114355b985fd86c9ffbd6e
35.8 kB Download
md5:dae0fac54ab5edcf401e1899911450e4
7.8 kB Download
md5:8880c0536d52fe7683e7e555941810e2
1.4 GB Download
md5:e350fbdc6e542e9d4e4a24711ed606a9
532.7 kB Preview Download