Verification Techniques for a MIPS Compatibvle Embedded Control Processor.

Darren Jones Rongken Yang Mark Kwong George Harper

Published in: ICCD (1991)

Keyphrases

control system
micro controller
functional verification
high speed
control method
control theory
embedded systems
real time
artificial intelligence
model checking
optimal control
face verification
formal verification
high end
embedded processors