System and method for accurately modeling an asynchronous interface using expanded logic elements

A computer program product in a computer readable medium for modeling an asynchronous interface, comprising:

• first instructions for identifying logic of the asynchronous interface in an integrated circuit design;
• second instructions for converting the logic of the asynchronous interface into primitive logic elements;
• third instructions for replacing the primitive logic elements with corresponding expanded primitive logic elements, wherein the expanded primitive logic elements include deterministic inputs and deterministic outputs representative of a deterministic or non-deterministic nature of data inputs and data outputs of the expanded primitive logic elements;
• and
• fourth instructions for running a simulation of the asynchronous interface using the expanded primitive logic elements to thereby model the asynchronous interface.

A system for modeling an asynchronous interface, comprising:

• means for identifying logic of the asynchronous interface in an integrated circuit design;
• means for converting the logic of the asynchronous interface into primitive logic elements;
• means for replacing the primitive logic elements with corresponding expanded primitive logic elements, wherein the expanded primitive logic elements include deterministic inputs and deterministic outputs representative of a deterministic or non-deterministic nature of data inputs and data outputs of the expanded primitive logic elements;
• and
• means for running a simulation of the asynchronous interface using the expanded primitive logic elements to thereby model the asynchronous interface.