Formal Verification of Tree-Structured Carry-Lookahead Adders.
Sae Hwan KimShiu-Kai ChinPublished in: Great Lakes Symposium on VLSI (1999)
Keyphrases
- formal verification
- model checking
- model checker
- symbolic model checking
- bounded model checking
- tree structure
- automated verification
- program slicing
- tree structures
- bit parallel
- tree structured data
- formal specification
- r tree
- structured data
- index structure
- functional verification
- temporal logic
- software engineering
- bayesian networks