发明名称 LOGIC VERIFYING SYSTEM
摘要
申请公布号 JPH03157780(A) 申请公布日期 1991.07.05
申请号 JP19890299115 申请日期 1989.11.16
申请人 NEC CORP;HOKURIKU NIPPON DENKI SOFTWARE KK 发明人 TANAKA HIDETOSHI;YAMAGIWA HAJIME
分类号 G06F11/25;G06F11/26;G06F17/50 主分类号 G06F11/25
代理机构 代理人
主权项
地址