Improved symbolic simulation by functional-space decomposition.

Tao Feng, Li-C. Wang, Kwang-Ting Cheng

Browse the full ASPDAC paper archive.