Boots – shoes – and leggings
Patent
1994-08-03
1996-07-23
Teska, Kevin J.
Boots, shoes, and leggings
G06F 1716
Patent
active
055396801
ABSTRACT:
A computer system for generating a summary of test coverage for a hardware description. The hardware description corresponds to a finite state machine (FSM). This embodiment requires at least one test vector. The computer system comprises a memory and a processor. The memory is for storing the hardware description and the test vector. The processor, coupled to the memory, uses the hardware description and generates state information corresponding to the FSM. The processor, using the state information, further generates a first description. The first description includes a description for monitoring states and signals in the hardware description. The processor, using the test vector, the hardware description and the first description, further generates the test coverage summary.
REFERENCES:
patent: 4727549 (1988-02-01), Tulpule et al.
patent: 5038307 (1991-08-01), Krishnakumar et al.
patent: 5146460 (1992-09-01), Ackerman et al.
patent: 5329533 (1994-07-01), Lin
patent: 5392227 (1995-02-01), Hiserote
patent: 5394347 (1995-02-01), Kita et al.
patent: 5418793 (1995-05-01), Chang et al.
patent: 5442569 (1995-08-01), Osano
patent: 5450598 (1995-09-01), Kaplan et al.
patent: 5453940 (1995-09-01), Broomhead et al.
"Finite State Machine Analysis Program", by S. Palnitkar, P. Saggurti and S. Kuang, IEEE, Verilog HDL, 1994 Conference, Jul. 1994, pp. 52-57.
"A Structural Optimization Method for Symbolic FSMs", by B. Rouzeyre, G. Sagnes and G. Tarroux, IEEE, European Design Automation Conference, Mar. 1992, pp. 232-236.
"Computer Aided Test Synthesis for a Parallel Scan Design of Finite State Sequential Machines", by S. Iyengar, R. Dandapani and S. Reddy, IEEE Region 5 Conference 1988: Spanning the Peaks of Electrotechnology, 1988, pp. 152-156.
Chang Chee-Keng
Kuang Ser-hou
Maturana Guillermo
Palnitkar Samir S.
Saggurti Prasad V.
Frejd Russell W.
Sun Microsystem Inc.
Teska Kevin J.
LandOfFree
Method and apparatus for analyzing finite state machines 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 apparatus for analyzing finite state machines, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for analyzing finite state machines will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-718802