125 search results - page 7 / 25 » The Formal Simulation Semantics of SystemVerilog |
WSC
2004
15 years 1 months ago
2004
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
112
click to vote
ICGI
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
EURODAC
1994
IEEE
15 years 3 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
112
click to vote
ENASE
2009
14 years 9 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...