290 search results - page 1 / 58 » The Formal Execution Semantics of SpecC |
ISSS
2002
IEEE
14 years 4 months ago
2002
IEEE
FDL
2004
IEEE
14 years 2 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
POPL
2012
ACM
12 years 6 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
MEMOCODE
2010
IEEE
13 years 9 months ago
2010
IEEE
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...
ISSE
2010
13 years 9 months ago
2010