Login / Signup
Timing verification of the 21264: A 600 MHz full-custom microprocessor.
Emily J. Shriver
Dale H. Hall
Nevine Nassif
Nadir E. Rahman
Nick L. Rethman
Gill Watt
Jim A. Farrell
Published in:
ICCD (1998)
Keyphrases
</>
functional verification
high speed
asynchronous circuits
domain specific
model checking
design methodology
real time
face verification
verification method
information retrieval
image processing
case study
high resolution
input output
formal verification
special purpose hardware