1996-06-28
1998-10-13
Teska, Kevin J.
G06F 9455, G06F 1750
Patent
active
058225641
ABSTRACT:
A method and apparatus for outputting a current state of a real-time circuit emulator. When the emulator is set to a predetermined state, it checkpoints the contents of certain memory and registers at the time it enters the predetermined state. The output of the emulator can be used as input to the emulator or as input to another system, such as a simulator, which does not operate in real-time. If the simulator also generates an output having same format, the output of the simulator can also be input to the real-time emulator.
REFERENCES:
patent: 3955180 (1976-05-01), Hirtle
patent: 4306286 (1981-12-01), Cocke et al.
patent: 4357678 (1982-11-01), Davis
patent: 4527249 (1985-07-01), Van Brunt
patent: 4583169 (1986-04-01), Cooledge
patent: 4587625 (1986-05-01), Marino et al.
patent: 4656580 (1987-04-01), Hitchcock, Sr. et al.
patent: 4695968 (1987-09-01), Sullivan, II et al.
patent: 4697241 (1987-09-01), Lavi
patent: 4725971 (1988-02-01), Doshi et al.
patent: 4769817 (1988-09-01), Krohn et al.
patent: 4782461 (1988-11-01), Mick et al.
patent: 4787061 (1988-11-01), Nei et al.
patent: 4787062 (1988-11-01), Nei et al.
patent: 4819150 (1989-04-01), Jennings et al.
patent: 4862347 (1989-08-01), Rudy
patent: 4879646 (1989-11-01), Iwasaki et al.
patent: 4914612 (1990-04-01), Beece et al.
patent: 4972334 (1990-11-01), Yamabe et al.
patent: 5031129 (1991-07-01), Powell et al.
patent: 5036473 (1991-07-01), Butts et al.
patent: 5068812 (1991-11-01), Schaefer et al.
patent: 5084824 (1992-01-01), Lam et al.
patent: 5088033 (1992-02-01), Binkley et al.
patent: 5109353 (1992-04-01), Sample et al.
patent: 5114353 (1992-05-01), Sample et al.
patent: 5126966 (1992-06-01), Hafeman et al.
patent: 5259006 (1993-11-01), Price et al.
patent: 5321828 (1994-06-01), Phillips et al.
patent: 5329470 (1994-07-01), Sample et al.
patent: 5329471 (1994-07-01), Swoboda et al.
patent: 5331571 (1994-07-01), Aronoff et al.
patent: 5345580 (1994-09-01), Tamaru et al.
patent: 5352123 (1994-10-01), Sample et al.
patent: 5377123 (1994-12-01), Hyman
patent: 5386550 (1995-01-01), Yumioka et al.
patent: 5396498 (1995-03-01), Lestral et al.
patent: 5425036 (1995-06-01), Liu et al.
patent: 5437037 (1995-07-01), Furuichi
patent: 5448496 (1995-09-01), Butts et al.
patent: 5448522 (1995-09-01), Huang
patent: 5452231 (1995-09-01), Butts et al.
patent: 5452239 (1995-09-01), Dai et al.
patent: 5475624 (1995-12-01), West
patent: 5475830 (1995-12-01), Chen et al.
patent: 5477475 (1995-12-01), Sample et al.
patent: 5551013 (1996-08-01), Beausoliel et al.
patent: 5572710 (1996-11-01), Asano et al.
patent: 5621651 (1997-04-01), Swoboda
Goering, R., "Emulation for the Masses", Electronic Engineering Times, Jan. 29, 1996, p. 63.
Sim Express TM "Hardware Emulator", Virtual Machine Works pp. 1-24.
Maliniak, L., "Pin Multiplexing Yields Low-Cost Logic Emulation", Electronic Design, Jan. 22, 1996.
Agarwal, Anant, "Virtual Wires TM A Technology for Massive Multi-FPGA Systems", Vistual Machine Works (no publication date given).
"Virtual Wires Published Papers," Various Dates.
"VHDL Mixed-Level Fault Simulator", N/A.
VirtuaLogic SLI Emulation System, "VirtuaLogic SLI", N/A.
"Logic Emulation for the Masses Arrives", N/A.
"Ikos Systems to Acquire Virtual Machine Works", N/A, Mar. 26, 1997, pp. 1 & 2.
Chilton John
Sarno Tony
Schaefer Ingo
Mohamed Ayni
Quickturn Design Systems Inc.
Teska Kevin J.
LandOfFree
Checkpointing in an emulation 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 Checkpointing in an emulation system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Checkpointing in an emulation system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-324307