Design of experiments and evaluation of BDD ordering heuristics

DOI10.1007/S100090100052MaRDI QIDQ1606809zbMATH OpenOpenAlexWikidataFDO

Authors Justin E. III Harlow, Franc Brglez

Publication date 25 July 2002

Published in International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s100090100052

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computer science aspects of computer-aided design (68U07)

Recommendations

• scientific article; zbMATH DE number 1150567
• scientific article; zbMATH DE number 1956213
• scientific article; zbMATH DE number 1946864
• History-based dynamic BDD minimization
• On the effect of local changes in the variable ordering of ordered decision diagrams

Cited in

(7)

• On SAT instance classes and a method for reliable performance experiments with SAT solvers
• Ordinal optimization and quantification of heuristic designs
• BDD-Based Incremental Heuristic Search
• scientific article; zbMATH DE number 1946864 (Why is no real title available?)
• Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
• Correct Hardware Design and Verification Methods
• Measuring CADeT performance by means of FITTest\_BENCH06 benchmark circuits

This page was built for publication: Design of experiments and evaluation of BDD ordering heuristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606809)