DocumentCode

2217468

Title

Efficient variable ordering using aBDD based sampling

Author

Lu, Yuan ; Jain, Jawahar ; Clarke, Edmund ; Fujita, Masahiro

Author_Institution

Carnegie Mellon University

fYear

2000

fDate

2000

Firstpage

687

Lastpage

692

Keywords

Binary decision diagrams; Boolean functions; Data structures; Laboratories; Permission; Sampling methods; Sequential circuits; Table lookup; Topology;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 2000. Proceedings 2000

Print_ISBN

1-58113-187-9

Type

conf

DOI

10.1109/DAC.2000.855402

Filename

855402