125 search results - page 23 / 25 » The Formal Simulation Semantics of SystemVerilog |
108
click to vote
CHARME
1999
Springer
15 years 3 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
103
click to vote
CDVE
2007
Springer
15 years 5 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
108
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
MEMOCODE
2005
IEEE
15 years 5 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
190
click to vote
POPL
2009
ACM
16 years 7 days ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...