114 search results - page 3 / 23 » Symbolic Simulation: An ACL2 Approach |
ACSD
1998
IEEE
13 years 11 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 [...
CONTEXT
2001
Springer
13 years 12 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
MS
2003
13 years 8 months ago
2003
This paper explores the potential of acausal modelling tools for a simple, but challenging process engineering benchmark problem. Matlab/Simulink illustrates a traditional block d...