259 search results - page 3 / 52 » Using Transformations and Verification in Circuit Design |
81
Voted
ISQED
2007
IEEE
15 years 4 months ago
2007
IEEE
Novel experimental characterization method and circuit modeling for frequency-variant transmission lines are presented. Experimental test patterns are designed and fabricated by u...
84
Voted
CAV
1994
Springer
15 years 2 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
87
Voted
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
117
Voted
GLVLSI
2002
IEEE
15 years 3 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...