124
click to vote
ICCD
15 years 10 months ago
2004 IEEE 
Research in high-speed interconnect requires physical test to validate circuit models and design assumptions. At multi-Gbit/sec rates, physical implementations require custom circ...
121
click to vote
ICCD
15 years 10 months ago
2004 IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
116
click to vote
ICCD
15 years 10 months ago
2004 IEEE
I/O placement has always been a concern in modern IC design. Due to flip-chip technology, I/O can be placed throughout the whole chip without long wires from the periphery of the...
115
click to vote
ICCD
15 years 10 months ago
2004 IEEE 
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
114
click to vote
ICCD
2004 IEEE Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
15 years 10 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...
|
Hardware