Sciweavers

646 search results - page 21 / 130

» Hybrid decision diagrams

15

ASPDAC
2000
ACM

99views Hardware» more ASPDAC 2000»

Symbolic circuit-noise analysis and modeling with determinant decision diagrams

13 years 12 months ago

Symbolic circuit-noise analysis and modeling with determinant decision diagrams

Download www.ee.ucr.edu

Xiang-Dong Tan, C.-J. Richard Shi

claim paper

Read More »

19

ISMVL
1999
IEEE

93views Hardware» more ISMVL 1999»

Synthesis of Multiple-Valued Decision Diagrams using Current-Mode CMOS Circuits

13 years 12 months ago

Synthesis of Multiple-Valued Decision Diagrams using Current-Mode CMOS Circuits

Download isi.kfupm.edu.sa

Mostafa H. Abd-El-Barr, Henry Fernandes

claim paper

Read More »

14

DATE
1998
IEEE

70views Hardware» more DATE 1998»

Dynamic Minimization of Word-Level Decision Diagrams

13 years 12 months ago

Dynamic Minimization of Word-Level Decision Diagrams

Download www.csie.ntu.edu.tw

Stefan Höreth, Rolf Drechsler

claim paper

Read More »

19

ICCAD
1997
IEEE

63views Hardware» more ICCAD 1997»

Symbolic analysis of large analog circuits with determinant decision diagrams

13 years 11 months ago

Symbolic analysis of large analog circuits with determinant decision diagrams

Download www.ee.ucr.edu

C.-J. Richard Shi, Xiang-Dong Tan

claim paper

Read More »

19

ICCAD
1994
IEEE

109views Hardware» more ICCAD 1994»

Efficient breadth-first manipulation of binary decision diagrams

13 years 11 months ago

Efficient breadth-first manipulation of binary decision diagrams

Download www.cs.york.ac.uk

We propose new techniques for efficient breadth-first iterative manipulation of ROBDDs. Breadth-first iterative ROBDD manipulation can potentially reduce the total elapsed time by...

Pranav Ashar, Matthew Cheong

claim paper

Read More »

« Prev « First page 21 / 130 Last » Next »