Blakely Sokoloff Taylor & Zafman
Method and apparatus for analyzing finite state machines
 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. 
Sun Microsystem, Inc.
G G G G
G01R G06F G01R G01R
inventional inventional inventional inventional
Prasad V. Guillermo Samir S. Chee-Keng Ser-Hou
Saggurti Maturana Palnitkar Chang Kuang