Specification and verification of pipelining in the ARM2 RISC microprocessor.
James K. HugginsDavid Van CampenhoutPublished in: ACM Trans. Design Autom. Electr. Syst. (1998)
Keyphrases
- instruction set
- functional verification
- formal verification
- application specific
- asynchronous circuits
- protocol specification
- formal methods
- model checking
- floating point
- formal specification
- specification language
- high speed
- instruction set architecture
- design methodology
- real time
- circuit design
- embedded systems
- parallel processing
- reactive systems
- general purpose
- computer architecture
- low power consumption
- colored petri nets
- high level