Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Event-driven
Reexamination Certificate
2006-08-29
2006-08-29
Rodriguez, Paul L. (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Event-driven
C716S030000, C716S030000
Reexamination Certificate
active
07099812
ABSTRACT:
The disclosed invention is a grid that monitors a design simulation to support design verification coverage analysis. The disclosed invention includes n ordered axis declarations72that each correspond to a functional attribute and list at least two valid functional states, logic expressions78that test for the functional states and set axis variables, and a grid declaration80that converts the axis variables to a unique linear index value corresponding to the cross-product of the achieved functional states and records hits. The linear index is calculated by multiplying the integer value of each axis variable (except the nth axis variable) by the product of the sizes of each higher-order axis than the axis to which said axis variable corresponds, summing the results, and adding the integer value of the nth said axis variable.
REFERENCES:
patent: 4555771 (1985-11-01), Hayashi
patent: 4665537 (1987-05-01), Moriyama
patent: 4787057 (1988-11-01), Hammond
patent: 5450568 (1995-09-01), Saji
patent: 5550765 (1996-08-01), Bhattacharya
patent: 5740284 (1998-04-01), Wober
patent: 5742795 (1998-04-01), Hammond
patent: 5764993 (1998-06-01), Shindo
patent: 5983230 (1999-11-01), Gilbert
patent: 6016395 (2000-01-01), Mohamed
patent: 6069497 (2000-05-01), Blomgren
patent: 6118304 (2000-09-01), Potter
patent: 6141673 (2000-10-01), Thayer
patent: 6336209 (2002-01-01), Nishihara et al.
patent: 6345381 (2002-02-01), Leight et al.
patent: 6574788 (2003-06-01), Levine et al.
patent: 6594803 (2003-07-01), Weber et al.
patent: 6604065 (2003-08-01), Blomgren
patent: RE38365 (2003-12-01), Shindo
patent: 6785730 (2004-08-01), Taylor
patent: 6889180 (2005-05-01), Weber et al.
patent: 2002/0091800 (2002-07-01), Wilkinson
patent: 2003/0009748 (2003-01-01), Glanville
patent: 2003/0122584 (2003-07-01), Boehm
Boehm et al., “Parts Renewal in Continuous-Time Monte Carlo Reliability Simulation” 1988 Proceedings Annual Reliability and Maintainability Symposium. p. 345-349.
Booth Matthew J.
Intrinsity, Inc.
Matthew J. Booth & Associates PLLC
Rodriguez Paul L.
Stevens Tom
LandOfFree
Grid that tracks the occurrence of a N-dimensional matrix of... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Grid that tracks the occurrence of a N-dimensional matrix of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Grid that tracks the occurrence of a N-dimensional matrix of... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3712825