Li-C. Wang, Tao Feng, Kwang-Ting (Tim) Cheng, Magdy S. Abadir, Manish Pandey. Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems. Design Autom. for Emb. Sys., 8(2-3):173-188, 2003. [doi]
@article{WangFCAP03,
title = {Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems},
author = {Li-C. Wang and Tao Feng and Kwang-Ting (Tim) Cheng and Magdy S. Abadir and Manish Pandey},
year = {2003},
doi = {10.1023/B:DAEM.0000003961.86651.2b},
url = {http://dx.doi.org/10.1023/B:DAEM.0000003961.86651.2b},
researchr = {https://researchr.org/publication/WangFCAP03},
cites = {0},
citedby = {0},
journal = {Design Autom. for Emb. Sys.},
volume = {8},
number = {2-3},
pages = {173-188},
}