Patent ID: 8719742

Claim:
A method for generating an abstract model of a circuit, the method comprising: determining a series of transactions of a protocol associated with low-level simulation data from a simulation of the circuit; determining transaction-level circuit simulation data based at least in part on the series of transactions of the protocol; using one or more computers or processors, performing causality analysis on the transaction-level circuit simulation data to determine an association between input signals and output signals, the causality analysis comprising defining a set of causality characters based on the association between the input and output signals, wherein a causality character represents an association between an event and an associated output, and statistically reducing the set of causality characters; using the one or more computers or processors, producing a causality output based on the causality analysis; and using the one or more computers or processors, learning the circuit behavior using the causality output in order to produce the abstract model including a system of equations that approximate the circuit behavior.