A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach.

Salah Merniz Mohamed Benmohammed

Published in: ITNG (2008)

Keyphrases

instruction set
functional verification
application specific
high speed
lightweight
theorem proving
design methodology
computation intensive
general purpose
data structure
multiresolution
floating point
highly scalable
multiprocessor systems