- IDEALS Home
- →
- College of Engineering
- →
- Dept. of Computer Science
- →
- Research and Tech Reports - Computer Science
- →
- Browse Research and Tech Reports - Computer Science by Subject
Browse Research and Tech Reports - Computer Science by Subject "Language Semantics"
Now showing items 1-1 of 1
-
(2010-07)This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of ...
application/pdf
PDF (279kB)
Now showing items 1-1 of 1