发明名称 |
System, method and computer program product for equivalence checking between designs with sequential differences |
摘要 |
A system, method and computer program product are provided for equivalency checking between a first design and a second design having sequential differences. To accomplish the equivalency checking, sequential differences between a first design and a second design are identified. It is then determined whether the first design and the second design are equivalent, utilizing the identified sequential differences.
|
申请公布号 |
US7350168(B1) |
申请公布日期 |
2008.03.25 |
申请号 |
US20050129238 |
申请日期 |
2005.05.12 |
申请人 |
CALYPTO DESIGN SYSTEMS, INC. |
发明人 |
MATHUR ANMOL;SHARMA NIKHIL;GOYAL DEEPAK;HASTEER GAGAN;MUKHERJEE RAJARSHI |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|