Sciweavers

35 search results - page 1 / 7
» Efficient interconnect modeling by Finite Difference Quadrat...
Sort
View
GLVLSI
2002
IEEE
118views VLSI» more  GLVLSI 2002»
13 years 9 months ago
Novel interconnect modeling by using high-order compact finite difference methods
— The high-order compact finite difference (HCFD) method is adapted for interconnect modeling. Based on the compact finite difference method, the HCFD method employs the Chebys...
Qinwei Xu, Pinaki Mazumder
VLSID
2002
IEEE
91views VLSI» more  VLSID 2002»
14 years 5 months ago
Rational ABCD Modeling of High-Speed Interconnects
This paper introduces a new numerical approximation technique, called the Differential Quadrature Method (DQM), in order to derive the rational ABCD matrix representing the high-s...
Qinwei Xu, Pinaki Mazumder
FMCAD
2006
Springer
13 years 8 months ago
Finite Instantiations for Integer Difference Logic
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
Hyondeuk Kim, Fabio Somenzi
ASPDAC
2010
ACM
155views Hardware» more  ASPDAC 2010»
13 years 2 months ago
Efficient model reduction of interconnects via double gramians approximation
The gramian approximation methods have been proposed recently to overcome the high computing costs of classical balanced truncation based reduction methods. But those methods typi...
Boyuan Yan, Sheldon X.-D. Tan, Gengsheng Chen, Yic...