Enhanced symbolic simulation for efficient verification of embedded array systems.

Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Manish Pandey, Magdy S. Abadir

Browse the full ASPDAC paper archive.