Mu-SPEED: A System for the Specification and Verification of Microprocessors.
Hélène CollavizzaPublished in: STACS (1992)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- model checking
- protocol specification
- high speed
- formal specification
- processing speed
- real time
- verification method
- face verification
- case study
- computer architecture
- computing power
- personal computer
- development environment
- signature verification
- artificial intelligence
- induction motor
- fingerprint verification
- information retrieval
- provably correct
- high level