Error detection/correction and fault detection/recovery – Pulse or data error handling – Error/fault detection technique
Reexamination Certificate
2005-04-19
2005-04-19
Ton, David (Department: 2133)
Error detection/correction and fault detection/recovery
Pulse or data error handling
Error/fault detection technique
C714S724000
Reexamination Certificate
active
06883134
ABSTRACT:
A method and program product for verifying a logic design for proper operation of tri-state buses in the design, comprises, for each bus in the circuit design, determining the smallest cut set, a min-cut, of the logic controlling the bus, performing an exhaustive analysis on a min-cut set of logic, and performing a full exhaustive analysis of the bus when the exhaustive analysis on the min-cut set of logic is inconclusive. In a preferred embodiment, prior to performing the min-cut set analysis, implication based conflict-free and float-free analyses are performed on the bus.
REFERENCES:
patent: 5214769 (1993-05-01), Uchida et al.
patent: 5373514 (1994-12-01), Ma et al.
patent: 5420871 (1995-05-01), Maamari et al.
patent: 5513124 (1996-04-01), Trimberger et al.
patent: 5513190 (1996-04-01), Johnson et al.
patent: 5566187 (1996-10-01), Abramovici et al.
patent: 5572535 (1996-11-01), Pixley et al.
patent: 5594891 (1997-01-01), Koseko
patent: 5872936 (1999-02-01), Eckstein
patent: 6016564 (2000-01-01), Hosokawa
patent: 6038392 (2000-03-01), Ashar et al.
patent: 6121814 (2000-09-01), Henry
patent: 6560663 (2003-05-01), Logsdon et al.
Fujiwara et al., “On the Acceleration of Test Generation Algorithms”, IEEE Transactions on Computers, vol. C-32, No. 12, Dec., 1983.
Koseko et al., Tri-state Bus Conflict Method for ATPG Using BDD, 1993, IEEE.
Roth et al., “Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits”, IEEE Transactions On Electronic Computers, Oct. 1967.
Maamari Fadi
Shum Sonny Ngai San
LogicVision, Inc.
Proulx Eugene E.
Ton David
LandOfFree
Method and program product for detecting bus conflict and... 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 program product for detecting bus conflict and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and program product for detecting bus conflict and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3406488