DDD-FM9001: Derivation of a Verified Microprocessor.

Bhaskar Bose Steven D. Johnson

Published in: CHARME (1993)

Keyphrases

high speed
special purpose hardware
instruction set
database
computer vision
functional verification
real time
neural network
machine learning
social networks
website