ICCAD 1995 | Sciweavers

9

click to vote

ICCAD
1995
IEEE

77views Hardware» more ICCAD 1995»

Optimal wiresizing for interconnects with multiple sources

13 years 8 months ago

Download cadlab.cs.ucla.edu

Jason Cong, Lei He

claim paper

Read More »

14

click to vote

ICCAD
1995
IEEE

127views Hardware» more ICCAD 1995»

Hybrid decision diagrams

13 years 8 months ago

Download www.cs.cmu.edu

Abstract: Functions that map boolean vectors into the integers are important for the design and verication of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...

Edmund M. Clarke, Masahiro Fujita, Xudong Zhao

claim paper

Read More »

19

click to vote

ICCAD
1995
IEEE

97views Hardware» more ICCAD 1995»

Interface co-synthesis techniques for embedded systems

13 years 8 months ago

Download www.cs.washington.edu

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

claim paper

Read More »

12

click to vote

ICCAD
1995
IEEE

67views Hardware» more ICCAD 1995»

Fault emulation: a new approach to fault grading

13 years 8 months ago

Download ir.lib.nthu.edu.tw

Kwang-Ting Cheng, Shi-Yu Huang, Wei-Jin Dai

claim paper

Read More »

13

click to vote

ICCAD
1995
IEEE

163views Hardware» more ICCAD 1995»

Signal integrity optimization on the pad assignment for high-speed VLSI design

13 years 8 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

17

click to vote

ICCAD
1995
IEEE

88views Hardware» more ICCAD 1995»

LOT: logic optimization with testability-new transformations using recursive learning

13 years 8 months ago

Download www.cecs.uci.edu

: 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...

claim paper

Read More »

10

click to vote

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

13 years 8 months ago

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

9

click to vote

ICCAD
1995
IEEE

110views Hardware» more ICCAD 1995»

Fast functional simulation using branching programs

13 years 8 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

8

click to vote

ICCAD
1995
IEEE

88views Hardware» more ICCAD 1995»

Estimation and bounding of energy consumption in burst-mode control circuits

13 years 8 months ago

Download paradise.ucsd.edu

This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit speciﬁcations consideredare extended burst-m...

Peter A. Beerel, Kenneth Y. Yun, Steven M. Nowick,...

claim paper

Read More »

12

click to vote

ICCAD
1995
IEEE

76views Hardware» more ICCAD 1995»

Design verification via simulation and automatic test pattern generation

13 years 8 months ago