Sciweavers

DAC
1994
ACM
14 years 3 months ago
Performance-Driven Simultaneous Place and Route for Row-Based FPGAs
Sequential place and route tools for FPGAs are inherently weak at addressing both wirability and timing optimizations. This is primarily due to the difficulty in predicting these ...
Sudip Nag, Rob A. Rutenbar
DAC
1994
ACM
14 years 3 months ago
Stochastic Optimization Approach to Transistor Sizing for CMOS VLSI Circuits
A stochastic global optimization approach is presented for transistor sizing in CMOS VLSI circuits. This is a direct search strategy for the best design among feasible ones, with ...
Sharad Mehrotra, Paul D. Franzon, Wentai Liu
DAC
1994
ACM
14 years 3 months ago
Fitting Formal Methods into the Design Cycle
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
Kenneth L. McMillan
DAC
1994
ACM
14 years 3 months ago
Cost of Silicon Viewed from VLSI Design Perspective
- This paper provides an overview of design/test/CAD silicon cost-related issues. All major factors contributing to the rapid growth of manufacturing costs are explained and a simp...
Wojciech Maly
DAC
1994
ACM
14 years 3 months ago
Data Flow Partitioning for Clock Period and Latency Minimization
Lung-Tien Liu, Minshine Shih, Chung-Kuan Cheng
DAC
1994
ACM
14 years 3 months ago
A Unified Approach to Multilayer Over-the-Cell Routing
Sreekrishna Madhwapathy, Naveed A. Sherwani, Siddh...
DAC
1994
ACM
14 years 3 months ago
Exact Minimum Cycle Times for Finite State Machines
In current research, the minimum cycle times of finite state machines are estimated by computing the delays of the combinational logic in the finite state machines. Even though th...
William K. C. Lam, Robert K. Brayton, Alberto L. S...
DAC
1994
ACM
14 years 3 months ago
Error Diagnosis for Transistor-Level Verification
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
Andreas Kuehlmann, David Ihsin Cheng, Arvind Srini...