125 search results - page 3 / 25 » The Formal Simulation Semantics of SystemVerilog |
FORMATS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
87
Voted
MEMOCODE
2010
IEEE
14 years 7 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...
UML
2001
Springer
15 years 1 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
PADS
2009
ACM
15 years 4 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...