DAG-aware circuit compression for formal verification.
Per BjesseArne BorälvPublished in: ICCAD (2004)
Keyphrases
- formal verification
- model checking
- directed acyclic graph
- image compression
- high speed
- model checker
- compression scheme
- bounded model checking
- automated verification
- data compression
- compression algorithm
- program slicing
- symbolic model checking
- analog circuits
- compression ratio
- circuit design
- temporal logic
- digital circuits