16883 search results - page 412 / 3377 » Generalized Non-Reducible Descriptors |
147
Voted
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a systematic methodology to create customized structural macromodels for a specific analog circuit. The novel contributions of the method include definition of...
163
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
A rational Arnoldi method for passivity-preserving model-order reduction (MOR) with implicit multi-point moment matching for systems with frequency-dependent interconnects is desc...
187
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
227
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Increasing resistivity of copper with scaling and rising demands on current density requirements are driving the need to identify new wiring solutions for deep nanometer scale VLS...
184
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...