Sciweavers

Share
ASPDAC
2004
ACM

Improved symbolic simulation by functional-space decomposition

10 years 9 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 datapath of a circuit is separated, and their simulated results are recorded in different domains. A 2-tuple list structure is used to separate the results in the control and datapath domains. Then, the functional sub-space in the control domain can further be decomposed in order to achieve the optimal OBDD size and run time. We demonstrate the effectiveness of our decomposition approach based on symbolic simulation of arithmetic circuit units.
Tao Feng, Li-C. Wang, Kwang-Ting Cheng
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where ASPDAC
Authors Tao Feng, Li-C. Wang, Kwang-Ting Cheng
Comments (0)
books