A system and method for accurately modeling an asynchronous interface
using expanded logic elements are provided. With the apparatus and
method, the logic of an asynchronous interface is reduced to primitive
logic elements. These primitive logic elements are expanded by the
mechanisms of the present invention to take into consideration whether or
not the primitive logic elements themselves may be experiencing a
switching or glitch hazard and whether or not the inputs to the primitive
logic elements may be based on a switching or glitch hazard from another
primitive logic element in the asynchronous interface logic. These
expanded logic elements are used in an integrated circuit design to
replace the original primitive logic elements in the design. The
asynchronous interface may then be simulated with the expanded logic
elements providing outputs indicative of whether the actual data output
of the expanded logic elements is deterministic or not.