发明名称 |
VERIFYING DATA INTENSIVE STATE TRANSITION MACHINES RELATED APPLICATION |
摘要 |
A method, system, and computer program product for verification of a state transition machine (STM) are provided in the illustrative embodiments. The STM representing the operation of a circuit configured to perform a computation is received. A segment of the STM is selected from a set of segments of the STM. A set of properties of the segment is determined. The set of properties is translated into a hardware description to form a translation. The segment is verified by verifying whether all relationships between a pre-condition and a post condition in the translation hold true for any set of inputs and any initial state of a hardware design under test. A verification result for the segment is generated. Verification results for each segment in the set of segments are combined to generate a verification result for the STM. |
申请公布号 |
US2012278773(A1) |
申请公布日期 |
2012.11.01 |
申请号 |
US201113097171 |
申请日期 |
2011.04.29 |
申请人 |
PARUTHI VIRESH;SANDON PETER ANTHONY;SAWADA JUN;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
PARUTHI VIRESH;SANDON PETER ANTHONY;SAWADA JUN |
分类号 |
G06F9/455;G06F17/50 |
主分类号 |
G06F9/455 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|