发明名称 LSI VERIFICATION METHOD AND DEVICE AND RECORDING MEDIUM
摘要 PROBLEM TO BE SOLVED: To provide an LSI verification method which is suited to a system on-chip LSI by simulating the hardware data and software and comparing the simulation result of hardware data with the simulation result of software to verify the equivalence of them. SOLUTION: A processor 141 generates a test bench from the timing information and circuit information which are read out of an external memory 130, and the test bench simulates a circuit operation according to an input pattern. Then the input/output signal that is coincident with the comparison timing condition which is selected from the timing information is outputted as a simulation result. Then the processor 141 simulates the hardware to be verified and the software corresponding to the hardware and compares both simulation results with each other to verify the equivalence of them.
申请公布号 JP2001060210(A) 申请公布日期 2001.03.06
申请号 JP19990234228 申请日期 1999.08.20
申请人 NEC CORP 发明人 KUROSAKA HITOSHI
分类号 G01R31/28;G06F9/45;G06F11/26;G06F17/50;(IPC1-7):G06F17/50 主分类号 G01R31/28
代理机构 代理人
主权项
地址