Login / Signup
Enhanced symbolic simulation for efficient verification of embedded array systems.
Tao Feng
Li-C. Wang
Kwang-Ting Cheng
Manish Pandey
Magdy S. Abadir
Published in:
ASP-DAC (2003)
Keyphrases
</>
simulation model
complex systems
connectionist systems
embedded systems
cost effective
building blocks
distributed systems
management system
expert systems
data sets
data structure
high level
search engine
computing systems
face verification
formal methods
simulation models
simulation tools
artificial intelligence