Design of experiments in BDD variable ordering: lessons learned

Authors:
Justin E. Harlow, III;Franc Brglez
Affiliations:
Dept. of Electrical & Computer Engineering, Duke University, Durham, NC;CBL (Collaborative Benchmarking Lab), Dept. of Comp. Science, Box 7550, NC State U., Releigh, NC
Venue:
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Year:
1998

Functional approaches to generating orderings for efficient symbolic representations

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Efficient breadth-first manipulation of binary decision diagrams

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Symmetry detection and dynamic variable ordering of decision diagrams

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Dynamic variable ordering for ordered binary decision diagrams

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Towards a new benchmarking paradigm in EDA: analysis of equivalence class mutant circuit distributions

Proceedings of the 1997 international symposium on Physical design
Synthesis of wiring signature-invariant equivalence class circuit mutants and applications to benchmarking

Proceedings of the conference on Design, automation and test in Europe
Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
VIS: A System for Verification and Synthesis

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Detectable perturbations: a paradigm for technology-specific multi-fault test generation

VTS '95 Proceedings of the 13th IEEE VLSI Test Symposium

Variable reordering for shared binary decision diagrams using output probabilities

DATE '99 Proceedings of the conference on Design, automation and test in Europe
Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Heuristics and Experimental Design for Bigraph Crossing Number Minimization

ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
Performance testing of combinatorial solvers with isomorph class instances

Proceedings of the 2007 workshop on Experimental computer science
Performance testing of combinatorial solvers with isomorph class instances

ecs'07 Experimental computer science on Experimental computer science
Visualizing potential parallelism in sequential programs

Proceedings of the 17th international conference on Parallel architectures and compilation techniques
Towards understanding and harnessing the potential of clause learning

Journal of Artificial Intelligence Research
Large program trace analysis and compression with ZDDs

Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization

Hi-index	0.00