6 search results - page 2 / 2 » asiams 2009 |
233
click to vote
ASIAMS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...