Improved symbolic simulation by functional-space decomposition

• DOI: 10.5555/1015090.1015263
• Publication Date: 2004-01-27
• Authors: Tao Feng; L.-C. Wang; Kwang‐Ting Cheng
• Keywords: Datapath; Symbolic data analysis; Functional decomposition

This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our simulator, control part and data path circuit is separated, their simulated results are recorded in different domains. A 2-tuple list structure used separate datapath Then, functional sub-space domain can further be decomposed order achieve optimal OBDD size run time. We demonstrate effectiveness based on simulation arithmetic units.