Verification of Stack Manipulation in the SCIP Processor.

J. Aaron Pendergrass

Published 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