发明名称 Verfahren zur Verifikation digitaler arithmetischer Schaltungen mittels eines Äquivalenzvergleiches
摘要
申请公布号 DE10152213(B4) 申请公布日期 2006.04.27
申请号 DE20011052213 申请日期 2001.10.23
申请人 ONESPIN SOLUTIONS GMBH 发明人 KUNZ, WOLFGANG;RUDLOF, THOMAS;STOFFEL, DOMINIK DR.
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址