Sciweavers

ICCAD
2001
IEEE
108views Hardware» more  ICCAD 2001»
14 years 1 months ago
Single-Pass Redundancy Addition and Removal
Redundancy-addition-and-removal is a rewiring technique which for a given target wire wt finds a redundant alternative wire wa. Addition of wa makes wt redundant and hence removab...
Chih-Wei Jim Chang, Malgorzata Marek-Sadowska
ICCAD
2001
IEEE
94views Hardware» more  ICCAD 2001»
14 years 1 months ago
Induction-Based Gate-Level Verification of Multipliers
Ying-Tsai Chang, Kwang-Ting Cheng
ICCAD
2001
IEEE
70views Hardware» more  ICCAD 2001»
14 years 1 months ago
Non-linear Quantification Scheduling in Image Computation
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...
ICCAD
2001
IEEE
84views Hardware» more  ICCAD 2001»
14 years 1 months ago
Minimum-Buffered Routing of Non-Critical Nets for Slew Rate and Reliability Control
In high-speed digital VLSI design, bounding the load capacitance at gate outputs is a well-known methodology to improve coupling noise immunity, reduce degradation of signal trans...
Charles J. Alpert, Andrew B. Kahng, Bao Liu, Ion I...
ICCAD
2001
IEEE
128views Hardware» more  ICCAD 2001»
14 years 1 months ago
An Assembly-Level Execution-Time Model for Pipelined Architectures
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...
Giovanni Beltrame, Carlo Brandolese, William Forna...
ICCAD
2001
IEEE
144views Hardware» more  ICCAD 2001»
14 years 1 months ago
Faster SAT and Smaller BDDs via Common Function Structure
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
ICCAD
2001
IEEE
126views Hardware» more  ICCAD 2001»
14 years 1 months ago
Constraint Satisfaction for Relative Location Assignment and Scheduling
Tight data- and timing constraints are imposed by communication and multimedia applications. The architecture for the embedded processor imply resource constraints. Instead of ran...
Carlos A. Alba Pinto, Bart Mesman, Jochen A. G. Je...
ICCAD
2001
IEEE
184views Hardware» more  ICCAD 2001»
14 years 1 months ago
CALiBeR: A Software Pipelining Algorithm for Clustered Embedded VLIW Processors
In this paper we describe a software pipelining framework, CALiBeR (Cluster Aware Load Balancing Retiming Algorithm), suitable for compilers targeting clustered embedded VLIW proc...
Cagdas Akturan, Margarida F. Jacome
ICCAD
2001
IEEE
103views Hardware» more  ICCAD 2001»
14 years 1 months ago
Analysis of Substrate Thermal Gradient Effects on Optimal Buffer Insertion
Amir H. Ajami, Kaustav Banerjee, Massoud Pedram