Meaningful visualization of properties independent of a...

Details Meaningful visualization of properties independent of a... Meaningful visualization of properties independent of a...

2004-12-08

2008-09-02

Dinh, Paul (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000

Reexamination Certificate

active

07421668

ABSTRACT:
A property used in functional verification of a circuit design is debugged independently of the circuit design for which the property is intended. Visualization of the property under various conditions helps a user to debug any errors in how the property is implemented in a requirements model. To visualize a particular property, a trace of a corresponding property in the requirements model is generated. The trace illustrates waveforms of a set of signals related to the property for a number of clock cycles. To visualize the property under various conditions, a user can find additional traces of the property by applying visualization constraints to obtain meaningful traces.

REFERENCES:
patent: 6484134 (2002-11-01), Hoskote
patent: 6751582 (2004-06-01), Andersen et al.
patent: 6985840 (2006-01-01), Hsu et al.
patent: 2003/0208730 (2003-11-01), Singhal et al.
patent: 2005/0268265 (2005-12-01), Ly et al.
patent: 2006/0036983 (2006-02-01), Iwashita
patent: 2006/0085774 (2006-04-01), Moorby
Ben-David, S., Gringauze, A., Sterin, B., Wolfsthal, Y., “PathFinder: A Tool For Design Exploration”, Computer-Aided Verification Conference, 2002.
Clarke, E., Byre, A., Armani, R., Zhu, Y., “Bounded Model Checking Using Satisfiability Solving”, Formal Methods In System Design, 2001.
McMillan, K.L., “Symbolic Model Checking” Kluwer Academic Publishers, 1993 pp. 11-212.

Affiliated with

Also associated with

Rating

Meaningful visualization of properties independent of a... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Meaningful visualization of properties independent of a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Meaningful visualization of properties independent of a... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3992234