发明名称 |
VERFAHREN ZUR BEREITSTELLUNG VON BITWEISEN EINSCHRÄNKUNGEN WÄHREND EINER TEST-GENERIERUNG |
摘要 |
|
申请公布号 |
AT295544(T) |
申请公布日期 |
2005.05.15 |
申请号 |
AT20010961108T |
申请日期 |
2001.08.28 |
申请人 |
VERISITY LTD. |
发明人 |
LAGOON, VITALY;BARRUCH, GUY |
分类号 |
G06F17/50;G01R31/28;G01R31/3183;G06F;G06F11/00;G06F11/22;G06F17/10;(IPC1-7):G01R31/318 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|