756 search results - page 5 / 152 » Model Order Reduction for Nonlinear IC Models |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
While process variations are becoming more significant with each new IC technology generation, they are often modeled via linear regression models so that the resulting performanc...
CDC
2009
IEEE
14 years 12 days ago
2009
IEEE
— In general, existing model reduction techniques for stable nonlinear systems lack a guarantee on stability of the reduced-order model, as well as an error bound. In this paper,...
CMPB
2008
13 years 7 months ago
2008
IJBC
2007
13 years 7 months ago
2007