Combining ATPG and Symbolic Simulation for Efficient Validation of Embedded Array Systems. - Ganapathy Parthasarathy; Madhu K. Iyer; Tao Feng 012; Li-C. Wang; Kwang-Ting Cheng; Magdy S. Abadir (ITC, 2002)

Enhanced symbolic simulation for efficient verification of embedded array systems. - Tao Feng 012; Li-C. Wang; Kwang-Ting Cheng; Manish Pandey; Magdy S. Abadir (ASP-DAC, 2003)

Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems. - Li-C. Wang; Tao Feng 012; Kwang-Ting (Tim) Cheng; Magdy S. Abadir; Manish Pandey (Des. Autom. Embed. Syst., 2003)

Improved symbolic simulation by functional-space decomposition. - Tao Feng 012; Li-C. Wang; Kwang-Ting Cheng (ASP-DAC, 2004)

Improved Symoblic Simulation by Dynamic Funtional Space Partitioning. - Tao Feng 012; Li-C. Wang; Kwang-Ting Cheng; Chih-Chan Lin (DATE, 2004)

On using a 2-domain partitioned OBDD data structure in verification. - Tao Feng 012; Li-C. Wang; Kwang-Ting Cheng; Andy Lin (HLDVT, 2004)

Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator. - Tao Feng 012; Li-C. Wang; Kwang-Ting Cheng; Chih-Chan Lin (ACM Trans. Design Autom. Electr. Syst., 2005)

Extracting a simplified view of design functionality via vector simulation. - Onur Guzey; Charles H.-P. Wen; Li-C. Wang; Tao Feng 012; Magdy S. Abadir (HLDVT, 2006)

Extracting a Simplified View of Design Functionality Based on Vector Simulation. - Onur Guzey; Charles H.-P. Wen; Li-C. Wang; Tao Feng 012; Hillel Miller; Magdy S. Abadir (Haifa Verification Conference, 2006)