发明名称 VERFAHREN ZUR BEREITSTELLUNG VON BITWEISEN EINSCHRÄNKUNGEN WÄHREND EINER TEST-GENERIERUNG
摘要
申请公布号 DE60110811(T2) 申请公布日期 2006.02.02
申请号 DE20016010811T 申请日期 2001.08.28
申请人 VERISITY LTD., ROSH-HA'AYIN 发明人 LAGOON, VITALY;BARRUCH, GUY
分类号 G06F17/50;G01R31/28;G01R31/3183;G06F;G06F11/00;G06F11/22;G06F17/10 主分类号 G06F17/50
代理机构 代理人
主权项
地址