HANNIBAL

MaRDI QIDQ22040swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=580111

Cited in

(14)

• CirCUs
• Formal verification based on Boolean expression diagrams
• SATORI
• Pinapa
• HITEC
• SOCRATES
• PASSAT
• Test Pattern Generation using Boolean Proof Engines
• A BDD-based verification method for large synthesized circuits
• scientific article; zbMATH DE number 1191738 (Why is no real title available?)
• GreyHound: A methodology for utilizing datapath regularity in standard design flows
• Robustness and usability in modern design flows
• Formal Methods for Hardware Verification
• Efficient combinational verification using overlapping local BDDs and a hash table

This page was built for software: HANNIBAL