Boots – shoes – and leggings
Patent
1994-04-12
1996-01-02
Kriess, Kevin A.
Boots, shoes, and leggings
364DIG1, 364280, 3642804, G06F 944
Patent
active
054817170
ABSTRACT:
It is an object of the present invention to provide a logic program comparison method which makes it possible to do verification by comparing parameterized logic programs and which increases the efficiency of the verification. The keyboard 1 and the input section 4 read two logic programs. The conversion section 5 converts the logic programs into the first and second finite state machine descriptions. The comparison section 6 determines whether there exists an equivalence between the states, between input values, and between output values of the first and second descriptions, and determines whether both descriptions produce respective outputs values deemed equal for all respective inputs deemed equal, for all respective states deemed equal. The result of the comparison is output through the output section 7 and the display unit 2.
REFERENCES:
Computer Aided Verification, 3rd International Workshop CAV'91 Proceedings; pp. 466-476; "Comparing Generic State Machines"; M. Langevin, et al, 1991.
IEEE Transactions on Computer-Aided Design, v. 11, No. 12, pp. 1469-1478. "A Theory and Implementation of Sequential Hardware Equivalence"; Carl Pixley, 1992.
IMEC-IFIP International Workshop on Applied Formal Methods of Correct VLSI Design, pp. 111-128. "Verification of Sequential Machines Using Boolean Functional Vectors"; Olivier Coudert, et al, 1989.
Kabushiki Kaisha Toshiba
Kriess Kevin A.
LandOfFree
Logic program comparison method for verifying a computer program does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Logic program comparison method for verifying a computer program, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic program comparison method for verifying a computer program will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-244320