发明名称 ASSERTION GENERATING SYSTEM, PROGRAM THEREOF, CIRCUIT VERIFYING SYSTEM, AND ASSERTION GENERATING METHOD
摘要
申请公布号 EP1812878(A1) 申请公布日期 2007.08.01
申请号 EP20050788142 申请日期 2005.09.21
申请人 RICOH COMPANY, LTD 发明人 YAMADA, TAKAMITSU
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址