Sciweavers

2550 search results - page 24 / 510
» Difference Decision Diagrams
Sort
View
ICCAD
1994
IEEE
109views Hardware» more  ICCAD 1994»
15 years 6 months ago
Efficient breadth-first manipulation of binary decision diagrams
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
ISCAS
1994
IEEE
67views Hardware» more  ISCAS 1994»
15 years 6 months ago
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams
Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. C...
ASPDAC
2007
ACM
92views Hardware» more  ASPDAC 2007»
15 years 5 months ago
Numerical Function Generators Using Edge-Valued Binary Decision Diagrams
Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler