摘要 |
PROBLEM TO BE SOLVED: To make efficient and facilitate the function logic verification work of a complicated electronic circuit of large scale by automatically judging the factor of a trouble through back trace with a trouble signal as a start point while utilizing the history of simulation to the virtual model of the electronic circuit. SOLUTION: With the trouble signal as the start point, an output element and its input signal are specified inversely to signal propagation by a back trace part 3, the factor of occurrence is judged from the relation of these element and input signal based on rules made into data base by a factor discriminating part 7, a trace continue signal selecting part 11 specifies a signal related to the factor of occurrence based on rules similarly made into data base, and such processing is repeated until the input terminal of the circuit. Besides, a signal matched with designated conditions is retrieved and that signal is used as a start point signal.
|