Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Reexamination Certificate
2006-01-24
2006-01-24
Homere, Jean R. (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
C703S014000, C703S015000
Reexamination Certificate
active
06990438
ABSTRACT:
A technique for observability based coverage of a design under test (DUT) is presented. A conventional simulation signal is augmented to include a “tag value.” In the course of a simulation, assignment statements (for which observability-based coverage is desired) “inject” tag values on their output signals. A tag value contains an identifier uniquely identifying the assignment statement that produced it. A tag value also contains a “tag history.” The tag history contains copies of the tag values for assignment statements earlier in the flow of control or in the flow of data. If a tag propagated through the DUT appears at an observable output, the circuit designer knows that the assignment statements it identifies have satisfied observability based coverage.
REFERENCES:
patent: 5553002 (1996-09-01), Dangelo et al.
patent: 5600579 (1997-02-01), Steinmetz, Jr.
patent: 5724504 (1998-03-01), Aharon et al.
patent: 5740086 (1998-04-01), Komoto
patent: 5870588 (1999-02-01), Rompaey et al.
patent: 6053947 (2000-04-01), Parson
patent: 6141630 (2000-10-01), McNamara et al.
patent: 6173241 (2001-01-01), Trimberger
patent: 6484134 (2002-11-01), Hoskote
Ho, R.C.; Han Yang, C.; Horowitz, M.A.; Dill, D.L., “Architecture validation for processors” Computer Architecture, 1995. Proceedings. 22nd Annual International Symposium on , Jun. 22-24, 1995 pp.: 404-413.
Grinwald, R.; Harel, E.; Orgad, M.; Ur, S.; Ziv, A., “User defined coverage-a tool supported methodology for design verification” Design Automation Conference, 1998. Proceedings , Jun. 15-19, 1998 pp.: 158-163.
Raghavan, R.; Baumgartner, J., “CoveT: a coverage tracker for collision events in system verification” Performance, Computing and Communications, 1998. IPCCC '98., IEEE International , Feb. 16-18, 1998 pp.: 172-177.
Moundanos, D.; Abraham, J.A.; Hoskote, Y.V., “Abstraction techniques for validation coverage analysis and test generation” Computers, IEEE Transactions on , vol.: 47, Issue: 1 , Jan. 1998 pp.: 2-14.
Dawson, C.; Pattanam, S.K.; Roberts, D., “The Verilog Procedural Interface for the Verilog Hardware Description Language” Verilog HDL Conference, 1996. Proceedings., 1996 IEEE International , Feb. 26-28, 1996 pp.: 17-23.
The following web pages from TransEDA:□□http://web.archive.org/web/19990225100008/http://www.transeda.com/products/indexl.html □□http://web.archive.org/web/19990127151441/http://www.transeda.com/products/vs—detail.html.
http://web.archive.org/web/19990420103520/http://www.transeda.com/products/vs—state.html □□http://web.archive.org/web/19980702103732/http://www.transeda.com/products/vs—branch.html.
http://web.archive.org/web/19990420070435/http://www.transeda.com/products/vs—cond.html □□http://web.archive.org/web/19990420101614/http://www.transeda.com/products/vs—path.html.
http://web.archive.org/web/19990420113203/http://www.transeda.com/products/vs—togg.html □□http://web.archive.org/web/19990420092512/http://www.transeda.com/products/vs—gui.html.
http://web.archive.org/web/19990402122133/http://www.transeda.com/products/vs—trace.html.
Devadas et al., “An Observability-Based Code Coverage Metric for Functional Simulation”, IEEE/ACM International Conference on Computer-Aided Design, Nov., 1996, pp. 418-425.
Fallah et al., “OCCOM: Efficient Computation of Observability-Based Code Coverage Metric for Functional Verification”, Proceedings, Design Automation Conference, Jun. 1998, pp. 152-157.
Chowdhury Debashis Roy
Dasgupta Pallab Kumar
Dudani Surrendra Amul
Khoory Ghassan
Day Herng-der
Homere Jean R.
Kaplan Jonathan T.
Synopsys Inc.
LandOfFree
Method and apparatus for observability-based code coverage does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for observability-based code coverage, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for observability-based code coverage will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3598937