Sciweavers

ASPDAC
2004
ACM
105views Hardware» more  ASPDAC 2004»
14 years 5 months ago
Improved symbolic simulation by functional-space decomposition
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
Tao Feng, Li-C. Wang, Kwang-Ting Cheng