Sciweavers

DAC
1998
ACM
16 years 8 months ago
A Fast Hierarchical Algorithm for 3-D Capacitance Extraction
Weiping Shi, Jianguo Liu, Naveen Kakani, Tiejun Yu
DAC
1998
ACM
16 years 8 months ago
A Programming Environment for the Design of Complex High Speed ASICs
A C++ based programming environment for the design of complex high speed ASICs is presented. The design of a 75 Kgate DECT transceiver is used as a driver example. Compact descrip...
Patrick Schaumont, Serge Vernalde, Luc Rijnders, M...
DAC
1998
ACM
16 years 8 months ago
Approximation and Decomposition of Binary Decision Diagrams
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple...