Verification support system

Details Verification support system Verification support system

1995-04-11

1998-05-26

Teska, Kevin J.

Drying and gas or vapor contact with solids

344578, G06F 9455, G06F 300

Patent

active

057581231

ABSTRACT:
A verification support system wherein before a CPU mounted circuit is actually made such circuit model and an ICE model are made virtually and verification of such circuit model is performed using logic simulation on the ICE model; and when an error is found execution and verification up to the error point are omitted and are performed immediately after the error point to correct the error. A waveform, obtained by logic simulation, and a partially enlarged waveform thereof are displayed on different display regions for each time period and a display region is provided for saving a displayed waveform obtained when logic simulation is stopped. In another aspect of the invention, before an actual system is made by PLC, such PLC model is verified, and a test program is carried out to obtain verification when a process model is detached from the PLC model, and a sequence program is carried out by using a general purpose simulator with a debugging function. The verification system enhances efficiency of development of a CPU mounted circuit, and development of a sequence control system using a PLC.

REFERENCES:
patent: 4590581 (1986-05-01), Widdoes, Jr.
patent: 4697266 (1987-09-01), Finley
patent: 4751672 (1988-06-01), Yamada
patent: 4995037 (1991-02-01), Imada et al.
patent: 5039937 (1991-08-01), Mandt et al.
patent: 5051938 (1991-09-01), Hyduke
patent: 5058052 (1991-10-01), Sexton et al.
patent: 5133076 (1992-07-01), Hawkins et al.
patent: 5146460 (1992-09-01), Ackerman et al.
patent: 5228039 (1993-07-01), Knoke et al.
patent: 5253781 (1993-10-01), Mauri et al.
patent: 5276811 (1994-01-01), Zifferer et al.
patent: 5349518 (1994-09-01), Zifferer et al.
patent: 5359545 (1994-10-01), Ott et al.
patent: 5404496 (1995-04-01), Burrough et al.
patent: 5425036 (1995-06-01), Liu et al.
patent: 5459872 (1995-10-01), Connell et al.
patent: 5504862 (1996-04-01), Suzuki et al.
patent: 5544067 (1996-08-01), Rostoker et al.
patent: 5563993 (1996-10-01), Sato et al.
patent: 5566295 (1996-10-01), Cypher et al.
patent: 5572437 (1996-11-01), Rostoker et al.
patent: 5574893 (1996-11-01), Southgate et al.
patent: 5576979 (1996-11-01), Lewis
Simulation of a Micro-Pipelined Multi CPU Event Process for Use in Fastbus; MF Letheren; A. Marchior; F. Slorach, IEEE Transaction on Nuclear Science, vol. 36 No. 5, Oct. 1989.
A Language for Compositional Specification and Verification of Finite State Hardware Controller, Clarke et al; Proceeding of IEEE, vol. 79, No. 9 Sep. 1991.
Program Emulation in a Personal Computer: is it Really Worth It? J R. Pollard, Programmable Control and Automation Technology, pp. 1-7, Oct. 1988.
Steve Gibson, Soft-Ice for Windows Boldly Goes into Undocumented Territory, Tech Talk , p. 42, Oct. 5, 1992.
Andrew Tanenbaum, Structural Computer Organization, 3rd Edition Book By Prentice-Hall, p. 11, Jan. 1990.
Christopher P Zing, Development System Put Two Processors on Speaking Terms UKCTR Manuf System, pp. 2-6, Jul. 1980.

Affiliated with

Also associated with

Rating

Verification support 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 Verification support system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification support system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1976041