1. A method for converting a description of a circuit into an abstract model, comprising: using a computer to read a model description of the circuit, protocol information relating to the circuit, and simulation data associated with the circuit; and based on the model description, the protocol information, and the simulation data, generating an abstract model of the circuit that approximates the circuit behavior, wherein generating an abstract model comprises: generating a system of weighted equations representing the behavior of the circuit; applying input patterns to the system of equations to generate actual output values; calculating an error by using a difference between the actual values and desired values; and modifying the weighted system of equations based on the calculated error; and wherein generating an abstract model further comprises performing causality analysis, wherein performing causality analysis comprises defining a set of causality characters; and reducing the set of causality characters through statistical analysis.