481 search results - page 22 / 97 » Acceleration of behavioral simulation on simulation specific... |
148
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
143
click to vote
ANSS
2006
IEEE
15 years 12 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
135
click to vote
WSC
2008
15 years 8 months ago
2008
Spatial phenomena attract increasingly interest in computational biology. Molecular crowding, i.e. a dense population of macromolecules, is known to have a significant impact on t...
132
click to vote
DATE
2007
IEEE
16 years 4 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
124
Voted
GLVLSI
1997
IEEE
15 years 10 months ago
1997
IEEE
In a VHDL-based design flow for applicationspecific integrated circuits, VITAL provides a uniform methodology for developing ASIC libraries for signoff simulation. The VITAL Sta...