Sciweavers

71
Voted
ICCAD
1994
IEEE
109views Hardware» more  ICCAD 1994»
15 years 1 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