发明名称 Verfahren und Vorrichtung zur formalen Schaltungsverifikation einer digitalen Schaltung
摘要
申请公布号 DE10303684(B4) 申请公布日期 2005.11.24
申请号 DE20031003684 申请日期 2003.01.30
申请人 INFINEON TECHNOLOGIES AG 发明人 BUSCH, HOLGER
分类号 G06F17/50;(IPC1-7):G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址