Verification of Stack Manipulation in the SCIP Processor.
J. Aaron PendergrassPublished in: SSV (2010)
Keyphrases
- functional verification
- model checking
- formal verification
- high speed
- concurrent systems
- parallel processing
- computer architecture
- signature verification
- neural network
- instruction set
- fingerprint verification
- person identification
- formal methods
- hardware implementation
- temporal logic
- information systems
- asynchronous circuits
- manipulation tasks
- industry standard
- learning algorithm
- real time
- intel xeon