Finding unexercised logic for use in code coverage testing

Data processing: structural design – modeling – simulation – and em – Emulation

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C703S013000, C703S014000, C703S015000, C703S016000, C717S124000, C717S131000, C717S154000

Reexamination Certificate

active

10324451

ABSTRACT:
A code coverage tool provides that a netlist is instrumented with gates for providing a comparison of an output of the design gates on one cycle with their output on a next cycle to determine if the gate was exercised during an emulation.

REFERENCES:
patent: 6182258 (2001-01-01), Hollander
patent: 6301688 (2001-10-01), Roy
patent: 6336087 (2002-01-01), Burgun et al.
patent: 6430741 (2002-08-01), Mattson et al.
patent: 6530054 (2003-03-01), Hollander
patent: 6636995 (2003-10-01), Dean et al.
patent: 6836877 (2004-12-01), Dupenloup
patent: 6990438 (2006-01-01), Chowdhury et al.
patent: 7100152 (2006-08-01), Birum et al.
patent: 2001/0011212 (2001-08-01), Raynaud et al.
patent: 2002/0095660 (2002-07-01), O'Brien et al.
patent: WO 01/40941 (2001-06-01), None
Liu et al. ‘Efficient Coverage Analysis Metric for HDL Design Validation’. IEEE Proceedings—Computers and Digital Techniques—Jan. 2001—vol. 148, Issue 1, p. 1-6.
Corno et al. ‘An RTL Fault Model with High Gate Level Correlation’. IEEE, 2000.
Jou et al. “Coverage Analysis Techniques for HDL Design Validation” 6th Asia Pacific Conference on cHip Design Languages, 1999.
Jou et al. “Coverage Analysis Techniques for HDL Design Validation” 6th Asia Pacific Conference on cHip Design Languages, 1999.
Drako et al. “HDL Verification Coverage” EETimes 1998.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Finding unexercised logic for use in code coverage testing does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Finding unexercised logic for use in code coverage testing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Finding unexercised logic for use in code coverage testing will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-3876253

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.