Behavioral language models for testing and verification of digit

Details Behavioral language models for testing and verification of digit Behavioral language models for testing and verification of digit

1996-07-26

1999-03-16

Teska, Kevin J.

Boots, shoes, and leggings

364488, 364490, G06F 1700

Patent

active

058838090

ABSTRACT:
A behavioral language-based methodology for the verification and testing of digital circuit designs. An automated or interactive simulation verification system can be used in accordance with the methodology to verify a digital circuit on inexpensive, simple digital circuit simulators, using behavioral languages, and achieve certain performance features found only on more costly, complex simulators.

REFERENCES:
patent: 4542505 (1985-09-01), Binoeder et al.
patent: 4590581 (1986-05-01), Widdoes, Jr.
patent: 4916647 (1990-04-01), Catlin
patent: 4937765 (1990-06-01), Shupe et al.
patent: 5210699 (1993-05-01), Harrington
patent: 5210701 (1993-05-01), Hana et al.
patent: 5325309 (1994-06-01), Halaviati et al.
patent: 5339262 (1994-08-01), Rostoker et al.
patent: 5349539 (1994-09-01), Moriyasu
patent: 5353243 (1994-10-01), Read et al.
patent: 5426770 (1995-06-01), Nuber
patent: 5452227 (1995-09-01), Kelsey et al.
patent: 5459673 (1995-10-01), Carmean et al.
patent: 5475605 (1995-12-01), Lin
patent: 5541849 (1996-07-01), Rostoker et al.
patent: 5555201 (1996-09-01), Dangelo et al.
patent: 5598344 (1997-01-01), Dangelo et al.
T. Dillinger, VLSI Engineering, pp. 91-136, Prentice Hall (1988).
Kunz et al. "Recursive Learning: A New Implication Technique for Efficient Solution to CAD Problems-Test, Verification and Optimization," IEEE, pp. 1143-1158, Sep. 1994.
Swavely et al "A Generic VHDL Testbench to Aid in Development of Board-Level Test Programs," IEEE, pp. 231-241, Sep. 1994.
Microsoft Press, Computer Dictionary second edition, p. 251, 1994.
Fleurkens et al. "RVN-Time Consistency Checking in Discrete Simulation Models" IEEE pp. 223-227, Mar. 1995.

Affiliated with

Also associated with

Rating

Behavioral language models for testing and verification of digit does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Behavioral language models for testing and verification of digit, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Behavioral language models for testing and verification of digit will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-822910