Binary time-frame expansion of sequential systems

Details Binary time-frame expansion of sequential systems Binary time-frame expansion of sequential systems

2005-03-22

2005-03-22

Tu, Christine T. (Department: 2133)

Error detection/correction and fault detection/recovery

Pulse or data error handling

Digital logic testing

C716S030000

Reexamination Certificate

active

06871310

ABSTRACT:
A processing system provides for analysis of sequential systems using binary time-frame expansion of these systems. This expansion technique produces models in which inputs and values for time may be treated as variables for producing various outputs and states.

REFERENCES:
patent: 3985967 (1976-10-01), Colton et al.
patent: 4745603 (1988-05-01), Shedd
patent: 5377197 (1994-12-01), Patel et al.
patent: 5448497 (1995-09-01), Ashar et al.
patent: 5566187 (1996-10-01), Abramovici et al.
patent: 5590135 (1996-12-01), Abramovici et al.
patent: 5668481 (1997-09-01), Sheu et al.
patent: 5875196 (1999-02-01), Chakradhar et al.
patent: 6292915 (2001-09-01), Hosokawa et al.
patent: 6581197 (2003-06-01), Foutz et al.
patent: 20020147951 (2002-10-01), Nadeau-Dostie et al.
D. G. Saab, et al.,Iterative [Simulation-Based Genetics + Deterministic Techniques] = Complete ATPG, © 1994 ACM 0-89791-690-5/94/0011/0040 (pp. 40-43), 1994.
D. Stoffel, et al.,Record&Play: A Structural Fixed Point Iteration for Sequential Circuit Verification, Institute of Computer Science III, University of Potsdam, © 1997 IEEE, 1997.
U. Gläser, et al.,Logic Optimization by an Improved Seqential Redundancy Addition and Removal Technique, The German National Research Center for Computer Science(GMD),Department of Electrical and Computer Engineering, Univ. of California.
J. R. Burch, et al.,Symbolic Model Checking for Sequential Circuit Verification, School of Computer Science, Carnegie Mellon University, PA., IEEE. Jul. 15, 1993.
T. Larrabee,Test Pattern Generation Using Boolean Satisfiability, Computer Engineering Board of Studies, Univ. of CA.

Affiliated with

Also associated with

Rating

Binary time-frame expansion of sequential systems does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Binary time-frame expansion of sequential systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Binary time-frame expansion of sequential systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3409974