Sciweavers

128

ICCAD
1995
IEEE

88views Hardware» more ICCAD 1995»

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

15 years 8 months ago

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

102

click to vote

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

15 years 8 months ago

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

125

click to vote

ICCAD
1995
IEEE

110views Hardware» more ICCAD 1995»

Fast functional simulation using branching programs

15 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 »

116

click to vote

ICCAD
1995
IEEE

88views Hardware» more ICCAD 1995»

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

15 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 »

105

click to vote

ICCAD
1995
IEEE

76views Hardware» more ICCAD 1995»

Design verification via simulation and automatic test pattern generation

15 years 8 months ago