An approach to Verilog-VHDL interoperability for synchronous designs [chapter]

Dominique Borrione, Fredrik Vestman, Hakim Bouamama
<span title="">1997</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
This paper suggests that synchronous designs written in either Verilog or VliDL can be interpreted in tenns of a common Hierarchical Finite State Machine model, and shows the principles for extracting the semantics of designs described in either language. Sublanguages with identical semantics are identified, and an algorithm for inferring a minimal number of state variables from VHDL processes is given. This common semantic model can be used as a kernel for cycle-based simulation, formal
more &raquo; ... ation, and synthesis, irrespective of the source language. In particular, Verilog and VHDL descriptions can be proven equivalent, and modules developed in one language can be reused in projects documented in the other one. This approach has been prototyped by the implementation of a semantic link between the VIS system of Berkeley and the Prevail system of TIMA.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35190-2_5">doi:10.1007/978-0-387-35190-2_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mgys22yk55f4jdrkqodlhctj2q">fatcat:mgys22yk55f4jdrkqodlhctj2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200326055515/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35190-2_5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/02/80/028065d0327eff8d490b47bd2c95b42d0b7fb052.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35190-2_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>