Multiway Decision Graphs for Automated Hardware Verification.
Francisco CorellaZijian ZhouXiaoyu SongMichel LangevinEduard CernyPublished in: Formal Methods Syst. Des. (1997)
Keyphrases
- automated analysis
- hardware designs
- decision making
- low cost
- decision rules
- hardware and software
- decision makers
- real time
- graph theory
- embedded systems
- graph matching
- model checking
- hardware implementation
- decision process
- graph partitioning
- formal verification
- verification method
- decision problems
- graph structure
- weighted graph
- influence diagrams
- graph model
- face verification
- graph clustering
- rough sets
- computer systems