Logic Verification Methodology for PowerPC Microprocessors.
Charles H. MalleyMax DieudonnéPublished in: DAC (1995)
Keyphrases
- asynchronous circuits
- logic programming
- modal logic
- classical logic
- bounded model checking
- model checking
- verification method
- expert systems
- linear time temporal logic
- model checker
- computer architecture
- sound and complete axiomatization
- automated reasoning
- database
- personal computer
- operating system
- low cost
- real time