Browse Prior Art Database

Sequential Machine Comparison Using Symbolic Simulation

IP.com Disclosure Number: IPCOM000050513D
Original Publication Date: 1982-Nov-01
Included in the Prior Art Database: 2005-Feb-10

Publishing Venue

IBM

Related People

Authors:
Ofek, H [+details]

Abstract

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.