Propagating an error through a network

Details Propagating an error through a network Propagating an error through a network

2007-01-23

2007-01-23

Chung, Phung My (Department: 2138)

Error detection/correction and fault detection/recovery

Pulse or data error handling

Transmission facility testing

C716S030000

Reexamination Certificate

active

10405766

ABSTRACT:
Propagating an error through a network includes receiving a network having propagation paths and nodes, where a propagation path has one or more nodes and a node is associated with a variable operable to have a value during simulation. A tag of a tag set is assigned to the value. The tag set includes at least two signed tags, positive tag representing a positive error and a negative tag representing a negative error, and an unsigned tag representing an error having an unknown sign. The tag is propagated along the propagation path to yield intermediate tags, where at least one intermediate tag is an unsigned tag formed from at least two signed tags. A final tag is determined in accordance with the intermediate tags in order to propagate an error through the network.

REFERENCES:
patent: 6086626 (2000-07-01), Jain et al.
patent: 6175946 (2001-01-01), Ly et al.
patent: 6301687 (2001-10-01), Jain et al.
patent: 6324678 (2001-11-01), Dangelo et al.
patent: 6560758 (2003-05-01), Jain
patent: 6609229 (2003-08-01), Ly et al.
patent: 6877141 (2005-04-01), Ghosh et al.
patent: 2002/0032889 (2002-03-01), Ghosh
patent: 2004/0199807 (2004-10-01), Ghosh et al.
Fallah, et al., “Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage,” © 1999ACM1-58113-092-9/99/0006, 38.1 (pp. 666-671), 1999.
Fallah, et al., “Event-Driven Observability Enhanced Coverage Analysis of C Programs for Functional Validation,” ASP-DAC, Jan. 2003 (six pages).
Ghosh, et al., “Automatic Test Pattern Generation for Functional Register-Transfer Level Circuits Using Assignment Decision Diagrams,” 0278-0070(01)01514-7, © 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, No. 3, Mar. 2001 (pp. 402-415).
Fallah, et al., “OCCOM-Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification,” 0278-0070(01)05202-2, © 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, No. 8, Aug. 2001 (pp. 1003-1014).
Fallah, et al., “Functional Vector Generation for HDL Models Using Linear Programming and Boolean Satisfiability,” 0278-0070(01)05203-4, © 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, No. 8, Aug. 2001 (pp. 994-1002).
U.S. Appl. No. 10/270,835, filed Oct. 14, 2002, entitled “Event-Driven Ovservability Enhanced Coverage Analysis,” 33 total pages, Oct. 14, 2002.

Affiliated with

Also associated with

Rating

Propagating an error through a network does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Propagating an error through a network, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Propagating an error through a network will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3805126