Sequential Machine Comparison Using Symbolic Simulation
Original Publication Date: 1982-Nov-01
Included in the Prior Art Database: 2005-Feb-10
In most prior analytic design verification tools, the scope of verification has been restricted to such problems which allowed for Boolean comparison to be performed. Typically, this would be the case when the relationship between the two models being compared is defined as an isomorphic relation. In the strict sense, isomorphism entails the dual requirement that a one to one correspondence exists between Primary Inputs, Primary Outputs, and Storage Elements and that the same next state function exists for both models. A relaxation is permissible only for the purpose of modifying the combinational nature of the models. No change of the sequential nature of the models is allowed.