摘要 |
PROBLEM TO BE SOLVED: To provide a logic simulator and a logic verification program, which can enhance efficiency of verification work. SOLUTION: A plurality of simulation databases is formed to correspond respectively to a plurality of logic circuits, and pieces of initial state setting information of respective elements required for constituting the plurality of logic circuits are held individually in the respective formed simulation databases. COPYRIGHT: (C)2011,JPO&INPIT
|