Computer-based system and method for debugging a computer system

Details Computer-based system and method for debugging a computer system Computer-based system and method for debugging a computer system

1992-07-01

1995-04-04

Beausoliel, Jr., Robert W.

Excavating

371 162, 395500, 3642643, 364DIG1, G06F 1100

Patent

active

054044960

ABSTRACT:
Synchronization of an architectural model of a computer architecture and a behavioral model of an implementation of the architecture for functional verification of the implementation. A communication channel is established between the two models through which simulation control and state information can be communicated and both models are available for simulating. Synchronization points in the models' executions are identified, and a synchronizer is implemented which instructs each model to simulate to a synchronization point and report relevant state information. The synchronizer can also verify state information from the two models in real time, flag errors, or instruct the architectural model to modify its state either to match known errors in the behavioral model or to match correct behavior to an asynchronous event.

REFERENCES:
patent: 4967386 (1990-10-01), Maeda et al.
patent: 5115502 (1992-05-01), Tallman
patent: 5179672 (1993-01-01), Genduso et al.
patent: 5245638 (1993-09-01), Gustafson
patent: 5263149 (1993-11-01), Winlow
Nelson et. al., Linking Simulation Model Specification and Parallel Execution through Unity, 1991, pp. 223-231, Proceedings of Winter Simulation Conference; IEEE.
Gupta et. al.; Synthesis and Simulation of Digital System Containing Interacting Hardware and Software Components.; 1992; pp. 225-228; IEEE.

Affiliated with

Also associated with

Rating

Computer-based system and method for debugging a computer system does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Computer-based system and method for debugging a computer system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer-based system and method for debugging a computer system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2385389