892 search results - page 7 / 179 » An efficient terminal and model order reduction algorithm |
IPL
2008
14 years 11 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
DAC
2000
ACM
15 years 4 months ago
2000
ACM
Signal integrity analysis has become imperative for high-speed designs. In this paper, we present a new technique to advance Krylov-space based passive model-reduction algorithms ...
107
Voted
ISQED
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a novel compact passive modeling technique for high-performance RF passives and interconnects modeled as high-order RLCM circuits. The new method is based on a...
111
click to vote
FMCAD
1998
Springer
15 years 3 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
66
Voted
DAC
2005
ACM
16 years 17 days ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...