Patent ID: 8365110
Filing Date: 2013-01-29
Classification: G06F

Abstract:
1. A method of diagnosing erroneous behavior of node outputs in a Register Transfer Level (RTL) design containing one or more RTL modules, the method comprising: converting, using a computing device, each RTL module to an enriched RTL module having one or more conditional states that each may take the form of different values, wherein converting each RTL module to an enriched RTL module comprises performing an insertion of a conditional assignment on at least one RTL variable in each RTL module by adding at least one select variable to each RTL module; identifying, using the computing device, an incorrect node output from the one or more RTL modules by analyzing at least one conditional assignment of the enriched RTL modules; and adjusting, using the computing device, one or more of the at least one select variable of the enriched RTL modules in order to activate or inactivate each of one or more of the at least one conditional assignment of the enriched RTL modules so as to correct the incorrect node output from the one or more of the RTL modules; wherein the conditional assignment for an RTL variable contains the select variable and a free variable, wherein each conditional state produces a first variable output under a first condition and produces a value of the free variable under a second condition, wherein the first condition is a first condition on the select variable, and wherein the second condition is a second condition on the select variable.