Login / Signup
Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems.
Li-C. Wang
Tao Feng
Kwang-Ting (Tim) Cheng
Magdy S. Abadir
Manish Pandey
Published in:
Des. Autom. Embed. Syst. (2003)
Keyphrases
</>
functional verification
embedded systems
real time
case study
distributed systems
image processing
database systems