Automatic Simulation and Verification of Pipelined Microcontrollers.

Ing-Jer Huang Li-Rong Wang

Published in: J. Inf. Sci. Eng. (1999)

Keyphrases

semi automatic
mathematical model
fully automatic
data driven
model checking
genetic algorithm
simulation model
hardware and software
simulation models
collision detection
data sets
artificial intelligence
analytical model
formal verification
simulation software