Sciweavers

9 search results - page 1 / 2

» iccd 1996

11

ICCD
1996
IEEE

86views Hardware» more ICCD 1996»

A Practical Algorithm for Retiming Level-Clocked Circuits

13 years 8 months ago

A Practical Algorithm for Retiming Level-Clocked Circuits

Download www.ece.umn.edu

Naresh Maheshwari, Sachin S. Sapatnekar

claim paper

Read More »

12

ICCD
1996
IEEE

83views Hardware» more ICCD 1996»

The use of random simulation in formal verification

13 years 8 months ago

The use of random simulation in formal verification

Download www.cadence.com

Florian Krohm, Andreas Kuehlmann, Arjen Mets

claim paper

Read More »

15

ICCD
1996
IEEE

116views Hardware» more ICCD 1996»

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration

13 years 8 months ago

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration

Download users.encs.concordia.ca

Michel Langevin, Sofiène Tahar, Zijian Zhou...

claim paper

Read More »

8

ICCD
1996
IEEE

80views Hardware» more ICCD 1996»

Enhancing FSM Traversal by Temporary Re-Encoding

13 years 8 months ago

Enhancing FSM Traversal by Temporary Re-Encoding

Download panda.ispras.ru

Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, M...

claim paper

Read More »

16

ICCD
1996
IEEE

104views Hardware» more ICCD 1996»

Latch Redundancy Removal Without Global Reset

13 years 8 months ago

Latch Redundancy Removal Without Global Reset

Download reference.kfupm.edu.sa

For circuits where there may be latches with no reset line, we show how to replace some of them with combinational logic. All previous work in sequential optimization by latch rem...

Shaz Qadeer, Robert K. Brayton, Vigyan Singhal

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »