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