Boots – shoes – and leggings
Patent
1997-07-07
1999-10-12
Grant, William
Boots, shoes, and leggings
364578, 710 8, 710113, G06F 1900, G06G 748
Patent
active
059663065
ABSTRACT:
A method and technique for verifying bus protocol in the design of integrated circuits. A correctness evaluator receives simulation results from a monitor file and prediction information generated from protocol templates. The correctness evaluator operates according to a "clean bus" theory that an error includes those events not specified by the circuit specification, including spurious transitions. Protocol templates define the elements within the circuit, and are provided to a prediction generator which creates a prediction file. The correctness evaluator compares a simulation monitor file to the prediction file, and outputs a pass or fail result. The present invention offers a flexible method to separate protocol-defined timing constraints from implementation-dependent timing constraints. The present invention allows input from a test program to tailor bus signal change predictions and verify that the test program performs as it is programmed to perform.
REFERENCES:
patent: 4764862 (1988-08-01), Barlow et al.
patent: 4825438 (1989-04-01), Bennett et al.
patent: 5440697 (1995-08-01), Boegel et al.
patent: 5455911 (1995-10-01), Johansson
patent: 5566347 (1996-10-01), Patrick
patent: 5590355 (1996-12-01), Shichiku et al.
patent: 5623499 (1997-04-01), Ko et al.
patent: 5663076 (1997-09-01), Rostoker et al.
patent: 5699350 (1997-12-01), Kraslavsky
patent: 5758101 (1998-05-01), Pemberton
Gerard J. Holzmann, "Basic Spin Manual," Bell Laboratories, Murray Hill, NJ 07974, pp. 1-32.
Oded Maler, Sergio Yovine, "Hardware Timing Verification Using KRONOS," Spectre-Verimag, Miniparc-zirst, 38330 Montbonnot, France, pp. 1-8.
Gerald J. Holzmann, "Design and Validation of Computer Protocols," Synopsis, Prentice Hall, 1991, Chapter listing only, full book available to "Researchers and professionals".
Martin Harold M.
Nguyen Anhtu
Nodine Mark H.
Baumgardner Carolyn T.
Grant William
Hill Susan C.
Motorola Inc.
LandOfFree
Method for verifying protocol conformance of an electrical inter does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for verifying protocol conformance of an electrical inter, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for verifying protocol conformance of an electrical inter will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-658493