发明名称 |
HYBRID COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT |
摘要 |
Systems and methods are disclosed for performing counterexample guided abstraction refinement by transforming a design into a functionally equivalent Control and Data Flow Graph (CDFG); performing a hybrid abstraction of the design; generating a hybrid abstract model; and checking the hybrid abstract model.
|
申请公布号 |
US2009007038(A1) |
申请公布日期 |
2009.01.01 |
申请号 |
US20070950730 |
申请日期 |
2007.12.05 |
申请人 |
NEC LABORATORIES AMERICA, INC. |
发明人 |
WANG CHAO;GUPTA AARTI;KIM HYONDEUK |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|