Automated Verification of Behavioral Equivalence for Microprocessors.
Francisco CorellaPublished in: IEEE Trans. Computers (1994)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- computer architecture
- temporal logic
- computing power
- graph theory
- np hard
- personal computer
- interactive dynamic influence diagrams
- website
- single chip
- probabilistic reasoning
- instruction set
- behavioral patterns
- datalog programs
- real time
- knowledge representation
- genetic algorithm
- information retrieval