| Abstract
|
<p>We present a formal semantics for … <p>We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symbolic model checking, for example equivalence checking with a transistor netlist description. We implement our formal semantics as an encoding from the subset of Verilog to the input language of the SMV model-checker. Experiments show that this approach is able to verify complete cell libraries.</p> verify complete cell libraries.</p>
|
| Author
|
Matthias Raffelsieper +
, Jan-Willem Roorda +
, Mohammad Reza Mousavi +
|
| Conference
|
9th International Conference on Application of Concurrency to System Design, Augsburg, GERMANY, JUL 01-03, 2009
|
| DOI
|
http://dx.doi.org/10.1109/ACSD.2009.18 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584680
|
| EndPage
|
137 +
|
| HostPublication
|
2009 Ninth International Conference on Application of Concurrency to System Design : Proceedings +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
IEEE Computer Society +
|
| StartPage
|
128 +
|
| Title
|
Model checking Verilog descriptions of cell libraries +
|
| Year
|
2009 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
, Publications:Model checking Verilog descriptions of cell libraries +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:50 +
|
