HANNIBAL
From MaRDI portal
Software:22040
swMATH10071MaRDI QIDQ22040FDOQ22040
Author name not available (Why is that?)
Cited In (8)
- Formal Methods for Hardware Verification
- Efficient combinational verification using overlapping local BDDs and a hash table
- Title not available (Why is that?)
- A BDD-based verification method for large synthesized circuits
- Formal verification based on Boolean expression diagrams
- Test Pattern Generation using Boolean Proof Engines
- Title not available (Why is that?)
- GreyHound: A methodology for utilizing datapath regularity in standard design flows
This page was built for software: HANNIBAL
