Resource management during system verification

Details Resource management during system verification Resource management during system verification

2007-06-19

2007-06-19

Kerveros, James C (Department: 2138)

Error detection/correction and fault detection/recovery

Pulse or data error handling

Digital logic testing

Reexamination Certificate

active

10956983

ABSTRACT:
A method and apparatus for resource management for non-deterministic automata for dynamic verification of a system or device under test is described herein.

REFERENCES:
patent: 6226716 (2001-05-01), Bauman et al.
patent: 2002/0124208 (2002-09-01), Beer et al.
patent: 2003/0159132 (2003-08-01), Barnett et al.
patent: 2003/0225565 (2003-12-01), Garcia et al.
Anderson, et al., “Support for Continuous Media in the Dash System,”, IEEE 1990, pp. 54-61.
Sylor, et al., “Applying Network Management Standards to System Management; the case for the Common Agent”, IEEE 1994, pp. 110-117.
Wilson, et al., “Test Plan Generation and Concurrent Scheduling of Tests in the Presence of Conflicts”, IEEE 1991, pp. 243-248.

Affiliated with

Also associated with

Rating

Resource management during system verification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Resource management during system verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Resource management during system verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3883752