发明名称 LOGICAL SIMULATION SYSTEM
摘要 PROBLEM TO BE SOLVED: To reduce useless simulation time and to find an abnormality generation cause in an early stage in the case that abnormality is generated in the middle of executing the simulation of a computer system, to shorten the development period of the computer system and to reduce a product development cost. SOLUTION: A logical simulation system is provided with a logical simulator for verifying the computer system, a simulation information file outputted in the middle of executing the simulation by the logical simulator and a check program checking the simulation information file in the middle of executing the simulation and judging the halfway state of the simulation.
申请公布号 JP2002366603(A) 申请公布日期 2002.12.20
申请号 JP20010177918 申请日期 2001.06.13
申请人 HITACHI LTD 发明人 INOUE HIDEKAZU;CHIBA NOZOMI
分类号 G06F17/50;G06F11/25;(IPC1-7):G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址