Title :
Efficient variable ordering using aBDD based sampling
Author :
Lu, Yuan ; Jain, Jawahar ; Clarke, Edmund ; Fujita, Masahiro
Author_Institution :
Carnegie Mellon University
Keywords :
Binary decision diagrams; Boolean functions; Data structures; Laboratories; Permission; Sampling methods; Sequential circuits; Table lookup; Topology;
Conference_Titel :
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN :
1-58113-187-9
DOI :
10.1109/DAC.2000.855402
