Search Sciweavers | Sciweavers

646 search results - page 22 / 130

» Hybrid decision diagrams

126

click to vote

ISCAS
1994
IEEE

67views Hardware» more ISCAS 1994»

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams

15 years 10 months ago

Download www.cs.cmu.edu

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. C...

claim paper

Read More »

108

click to vote

ISMVL
1992
IEEE

74views Hardware» more ISMVL 1992»

Optimization of Multiple-Valued AND-EXOR Expressions Using Multiple-Place Decision Diagrams

15 years 10 months ago

Download www.lsi-cad.com

Tsutomu Sasao

claim paper

Read More »

120

click to vote

ASPDAC
2007
ACM

92views Hardware» more ASPDAC 2007»

Numerical Function Generators Using Edge-Valued Binary Decision Diagrams

15 years 10 months ago

Download www.aspdac.com

Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler

claim paper

Read More »

118

click to vote

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

15 years 9 months ago

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

115

Voted

ICCD
1991
IEEE

87views Hardware» more ICCD 1991»

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers