Login / Signup
Combining ATPG and Symbolic Simulation for Efficient Validation of Embedded Array Systems.
Ganapathy Parthasarathy
Madhu K. Iyer
Tao Feng
Li-C. Wang
Kwang-Ting Cheng
Magdy S. Abadir
Published in:
ITC (2002)
Keyphrases
</>
distributed systems
computer systems
intelligent systems
knowledge based systems
complex systems
embedded systems
mathematical models
cost effective
image sequences
multi agent
data structure
management system
database management systems
building blocks
learning systems
simulation tools