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 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; identifying an incorrect node output from the one or more RTL modules; and adjusting at least one of the conditional states of the enriched RTL modules by adjusting at least one select variable of the enriched RTL modules to correct the incorrect node output from one or more of the RTL modules.