Sciweavers

ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
14 years 4 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
14 years 4 months ago
Interface co-synthesis techniques for embedded systems
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello
ICCAD
1995
IEEE
67views Hardware» more  ICCAD 1995»
14 years 4 months ago
Fault emulation: a new approach to fault grading
Kwang-Ting Cheng, Shi-Yu Huang, Wei-Jin Dai
ICCAD
1995
IEEE
163views Hardware» more  ICCAD 1995»
14 years 4 months ago
Signal integrity optimization on the pad assignment for high-speed VLSI design
Pad assignment with signal integrity optimization is very important for high-speed VLSI design. In this paper, an efficient method is proposed to effectively minimize both simulta...
Kai-Yuan Chao, D. F. Wong
ICCAD
1995
IEEE
88views Hardware» more  ICCAD 1995»
14 years 4 months ago
LOT: logic optimization with testability-new transformations using recursive learning
: A new approach to optimize multi-level logic circuits is introduced. Given a multi-level circuit, the synthesis method optimizes its area, simultaneously enhancing its random pat...
Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang K...
ICCAD
1995
IEEE
110views Hardware» more  ICCAD 1995»
14 years 4 months ago
Fast functional simulation using branching programs
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
Pranav Ashar, Sharad Malik
ICCAD
1995
IEEE
88views Hardware» more  ICCAD 1995»
14 years 4 months ago
Estimation and bounding of energy consumption in burst-mode control circuits
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...
Peter A. Beerel, Kenneth Y. Yun, Steven M. Nowick,...