Sciweavers

3235 search results - page 52 / 647
» Partial Redundant Modeling
Sort
View
106
Voted
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
15 years 7 months ago
Digital Circuit Verification Using Partially-Ordered State Models
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
Carl-Johan H. Seger, Randal E. Bryant
104
Voted
PLILP
1995
Springer
15 years 7 months ago
A Semantic Model of Binding Times for Safe Partial Evaluation
Fritz Henglein, David Sands
136
Voted
ASPDAC
2005
ACM
110views Hardware» more  ASPDAC 2005»
15 years 5 months ago
Compact and stable modeling of partial inductance and reluctance matrices
Abstract— The sparsification of the reluctance matrix L−1 (where L denotes the usual inductance matrix L) has been widely used in several recent investigations to make the pro...
Hong Li, Venkataramanan Balakrishnan, Cheng-Kok Ko...
94
Voted
SIGMAP
2008
108views Business» more  SIGMAP 2008»
15 years 5 months ago
Partial Tracking in Sinusoidal Modeling - An Adaptive Prediction-based RLS Lattice Solution
Leonardo O. Nunes, Paulo A. A. Esquef, Luiz W. P. ...