Sciweavers

138 search results - page 1 / 28
» Compiled-code-based simulation with timing verification
Sort
View
EURODAC
1994
IEEE
122views VHDL» more  EURODAC 1994»
13 years 9 months ago
Compiled-code-based simulation with timing verification
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
Winfried Hahn, Andreas Hagerer, C. Herrmann
TSE
2002
95views more  TSE 2002»
13 years 5 months ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W. ...