Login / Signup
Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor.
Gabriel P. Bischoff
Karl S. Brace
Samir Jain
Rahul Razdan
Published in:
ICCD (1997)
Keyphrases
</>
high speed
formal methods
special purpose hardware
neural network
design methodology
functional verification
efficient implementation
instruction set
circuit design
face verification
friendly interface
asynchronous circuits
interface design
real time
user friendly
user interface
web services
databases