PROBLEM TO BE SOLVED: To effectively generate an analyzing waveform in a combinational logic circuit. ;SOLUTION: A truth table which indicates the corresponding relationship between an input signal pattern and an output signal pattern is formed (S1). Then, one input signal pattern is corresponded to one node, the input signal pattern in the table is expressed as a plurality of nodes, a pair of transition paths directed in bidirectional directions are defined between a pair of the nodes for satisfying the two conditions that Hamming distance is 1 and the output signal patterns are different, and a group made of one group of nodes is formed (S2). One cyclic route passing all the nodes in the group is obtained while tracing all the defined transition paths in forward direction (S3). Thereafter, the input pattern is transferred sequentially at the nodes along the one cyclic route to generate an input signal waveform, and a corresponding output signal waveform is generated based on the table (S4).;COPYRIGHT: (C)1997,JPO
展开▼