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.

There is a newer version of the record available.

Published September 6, 2023 | Version v2
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:fc6418bfff0ad643326342fa645927dd
1.4 GB Download
md5:b31a3defb912c5669a3bebcfd6d638e1
532.3 kB Preview Download