Si-emulation: system verification using simulation and emulation.

Zan Yang Byeong Min Gwan Choi

Published in: ITC (2000)

Keyphrases

simulation software
real time
search engine
multiscale
artificial neural networks
mobile robot
simulation model
simulation environment
genetic algorithm
artificial intelligence
high speed
model checking
numerical simulations