Sciweavers

17 search results - page 2 / 4

» todaes 1998

15

TODAES
1998

47views more TODAES 1998»

Auxiliary variables for BDD-based representation and manipulation of Boolean functions

13 years 6 months ago

Auxiliary variables for BDD-based representation and manipulation of Boolean functions

Download www.cparity.com

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

14

TODAES
1998

42views more TODAES 1998»

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

13 years 6 months ago

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

Download www.cparity.com

Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

claim paper

Read More »

15

TODAES
1998

67views more TODAES 1998»

Confidence analysis for defect-level estimation of VLSI random testing

13 years 6 months ago

Confidence analysis for defect-level estimation of VLSI random testing

Download www.cparity.com

Wen-Ben Jone, K. S. Tsai

claim paper

Read More »

10

TODAES
1998

69views more TODAES 1998»

Breakpoints and breakpoint detection in source-level emulation

13 years 6 months ago

Breakpoints and breakpoint detection in source-level emulation

Download www.cparity.com

Gernot Koch, Wolfgang Rosenstiel, Udo Kebschull

claim paper

Read More »

10

TODAES
1998

51views more TODAES 1998»

Cluster-cover a theoretical framework for a class of VLSI-CAD optimization problems

13 years 6 months ago

Cluster-cover a theoretical framework for a class of VLSI-CAD optimization problems

Download www.cparity.com

C.-J. Richard Shi, Janusz A. Brzozowski

claim paper

Read More »

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