Automatic verification of Pipelined Microprocessor Control.

Jerry R. Burch David L. Dill

Published in: CAV (1994)

Keyphrases

control system
neural network
databases
real time
website
input output
control method
video sequences
operating system
control strategy
design methodology
control theory