Patent US5517432A successfully refreshed from Google Patents.
US5517432A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Finite state machine transition analyzer
Assignee: Sony Corp
•
Filing: 1994-01-31
•
Granted: 1996-05-14
•
Expires: 2014-01-31
Abstract
Abstract A state machine synthesis tool, a state table script generator, a state table extraction tool, a simulation driver, a simulator, and an interactive reporter, are provided to verify the design and implementation of finite state machines (FSMs). The synthesis tool takes a formal specification of a logic circuit where FSMs are embedded as input, and generates a gate level specification of the logic circuit. The state table script generator takes the same formal specification of the logic circuit as input, and generates state table extraction command files for the FSMs. The state table extraction tool takes the gate level specification of the logic circuit and the state table extraction command files of the FSMs as inputs, and generates state tables for the FSMs. The simulation driver takes the state tables of the FSMs as inputs, and in cooperation with the simulator, which takes the gate level specification of the logic circuit and a number of functional vectors as inputs, simulates the logic circuit and generates simulation results of the FSMs. Finally, the interactive reporter takes the simulation results of the FSMs, the state tables and user commands as inputs, and generates the analysis results that allow verification of the design and implementation of the FSMs.
Inventors
- 👤 Susheel Chandra
- 👤 Shardul Kazi
- 👤 Jim Yeh
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-02 17:16
CPC Classifications
G; G06; G06F; G06F11/00; G06F11/22; G06F11/26; G06F11/261; G06F30/00; G06F30/30; G06F30/32; G06F30/33; G06F30/3323
Claims Analysis
Total Claims: 20
Claim 1
Independent Claim
223 words
In a computer system comprising a formal specification of a logic circuit having at least one finite state machine (FSM) and at least one set of functional vectors for simulating the logic circuit, an apparatus for analyzing and verifying said at least one FSM's design and implementation, said apparatus comprising: a) synthesis means for generating a gate level specification of said logic circuit in response to said formal specification of said logic circuit; b) state table generation means comprising: b.1) command script generation means for generating at least one state table extraction command script file for said at least one FSM in response to said formal specification of said logic circuit: and b.2) state table extraction means for generating said at least one state table for said at least one FSM in response to said gate level specification of said logic circuit and said at least one state table extraction command script file; c) simulation means for simulating and generating simulation results of said at least one FSM in response to said gate level specification of said logic circuit, said at least one state table for said at least one FSM, and said at least one set of functional vectors; and d) reporting means for generating analysis reports in response to said simulation results of said at least one FSM and user inputs.
Claim 2
Dependent Claim
223 words
In a computer system comprising a formal specification of a logic circuit having at least one finite state machine (FSM) and at least one set of functional vectors for simulating the logic circuit, an apparatus for analyzing and verifying said at least one FSM's design and implementation, said apparatus comprising: a) synthesis means for generating a gate level specification of said logic circuit in response to said formal specification of said logic circuit; b) state table generation means comprising: b.1) command script generation means for generating at least one state table extraction command script file for said at least one FSM in response to said formal specification of said logic circuit: and b.2) state table extraction means for generating said at least one state table for said at least one FSM in response to said gate level specification of said logic circuit and said at least one state table extraction command script file; c) simulation means for simulating and generating simulation results of said at least one FSM in response to said gate level specification of said logic circuit, said at least one state table for said at least one FSM, and said at least one set of functional vectors; and d) reporting means for generating analysis reports in response to said simulation results of said at least one FSM and user inputs.
Claim 3
Dependent Claim
58 words
The apparatus as set forth in claim 1, wherein, said command script generation means reads said formal specification of said logic circuit, identifies FSM register bits, state encoding constants, and each top design name containing a FSM, and generates said at least one state table extraction command script file based on said identified bits, constants, and design names.
Claim 4
Dependent Claim
90 words
The apparatus as set forth in claim 1, wherein, said simulation means comprises c.1) driving and monitoring means for generating simulation commands, monitoring simulated signal changes, and generating simulation results for said at least one FSM, in response to said at least one state table for said at least one FSM; and c.2) a simulator coupled to said driving and monitoring means for simulating said logic circuit in response to said simulation commands, said gate level specification of said logic circuit and said at least one set of functional vectors.
Claim 5
Dependent Claim
80 words
The apparatus as set forth in claim 3, wherein, said driving and monitoring means, upon start up, loads said at least one state table for said at least one FSM; said driving and monitoring means further iteratively generates simulation commands for said simulator, and records applicable signals generated by said simulator, for each FSM; said driving and monitoring means, upon completion of simulation, further generates said simulation results for said at least one FSM based on said recorded applicable signals.
Claim 6
Dependent Claim
86 words
The apparatus as set forth in claim 1, wherein said reporting means comprises: d.1) a command interpreter for interpreting user commands; d.2) a loader cooperating with said command interpreter for loading said at least one state table and simulation results for said at least one FSM; d.3) a database for storing said loaded at least one state table and said simulation results; and d.4) a plurality of function routines cooperating with said command interpreter and said database for performing a plurality of reporting and related functions.
Claim 7
Dependent Claim
23 words
The apparatus as set forth in claim 5, wherein, said loader responsive to user commands loads said simulation results in a cumulative manner.
Claim 8
Dependent Claim
46 words
The apparatus as set forth in claim 5, wherein, said function routines comprise: d.4.1) a first function routine for tracing operation of a FSM to its next output change; and d.4.2) a second function routine for tracing operation of a FSM to its next input/output change.
Claim 9
Dependent Claim
46 words
The apparatus as set forth in claim 5, wherein, said function routines comprise: d.4.1) a first function routine for tracing operation of a FSM from start to end; and d.4.2) a second function routine for resuming tracing of operation of a FSM from its current state.
Claim 10
Dependent Claim
40 words
The apparatus as set forth in claim 5, wherein, said function routines comprise: d.4.1) a first function routine for displaying current state information and current transition coverage of a FSM; and d.4.2) a second function routine for displaying state information.
Claim 11
Dependent Claim
203 words
In a computer system comprising a formal specification of a logic circuit having at least one finite state machine (FSM) and at least one set of functional vectors for simulating the logic circuit, a method for analyzing and verifying said at least one FSM's design and implementation, said method comprising the steps of: a) generating a gate level specification of said logic circuit in response to said formal specification of said logic circuit; b) generating a state table for each of said at least one FSM in response to said formal specification of said logic circuit; c) simulating and generating simulation results of said at least one FSM in response to said gate level specification of said logic circuit, said at least one state table for said at least one FSM, and said at least one set of functional vectors; and d) generating analysis reports by the following steps: d.1) interpreting user commands; d.2) loading said at least one state table and simulation results for said at least one FSM responsive to said user commands; d.3) storing said loaded at least one state table and said simulation results; and d.4) performing a plurality of reporting and related functions responsive to said user commands.
Claim 12
Dependent Claim
203 words
In a computer system comprising a formal specification of a logic circuit having at least one finite state machine (FSM) and at least one set of functional vectors for simulating the logic circuit, a method for analyzing and verifying said at least one FSM's design and implementation, said method comprising the steps of: a) generating a gate level specification of said logic circuit in response to said formal specification of said logic circuit; b) generating a state table for each of said at least one FSM in response to said formal specification of said logic circuit; c) simulating and generating simulation results of said at least one FSM in response to said gate level specification of said logic circuit, said at least one state table for said at least one FSM, and said at least one set of functional vectors; and d) generating analysis reports by the following steps: d.1) interpreting user commands; d.2) loading said at least one state table and simulation results for said at least one FSM responsive to said user commands; d.3) storing said loaded at least one state table and said simulation results; and d.4) performing a plurality of reporting and related functions responsive to said user commands.
Claim 13
Dependent Claim
80 words
The method as set forth in claim 10, wherein, said step b) comprises the steps of: b.1) generating at least one state table extraction command script file for said at least one FSM in response to said formal specification of said logic circuit; and b.2) generating said at least one state table for said at least one FSM in response to said gate level specification of said logic circuit and said at least one state table extraction command script file.
Claim 14
Dependent Claim
60 words
The method as set forth in claim 11, wherein, said step (b.1) comprises: (b.1.1) reading said formal specification of said logic circuit; (b.1.2) identifying FSM register bits, state encoding constants, and each top design name containing a FSM; and (b.1.3) generating said at least one state table extraction command script file based on said identified bits, constants, and design names.
Claim 15
Dependent Claim
78 words
The method as set forth in claim 11, wherein, said step (c) comprises the steps of: c.1) generating simulation commands, monitoring simulated signal changes, and generating simulation results for said at least one FSM, in response to said at least one state table for said at least one FSM; and c.2) simulating said logic circuit in response to said simulation commands, said gate level specification of said logic circuit and said at least one set of functional vectors.
Claim 16
Dependent Claim
74 words
The method as set forth in claim 13, wherein, said step (c.1) comprises the steps of: c.1.1) upon start up, loading said at least one state table for said at least one FSM; c.1.2) iteratively generating simulation commands for said simulator, and recording applicable signals generated by said simulator, for each FSM; c.1.3) upon completion of simulation, further generating said simulation results for said at least one FSM based on said recorded applicable signals.
Claim 17
Dependent Claim
27 words
The method as set forth in claim 10, wherein, said loading of state table and simulation results in said step (d.2) is performed in a cumulative manner.
Claim 18
Dependent Claim
39 words
The method as set forth in claim 10, wherein, said step (d.4) comprises the steps of: d.4.1) tracing operation of a FSM to its next output change; and d.4.2) tracing operation of a FSM to its next input/output change.
Claim 19
Dependent Claim
39 words
The method as set forth in claim 10, wherein, said step (d.4) comprises the steps of: d.4.1) tracing operation of a FSM from start to end; and d.4.2) resuming tracing of operation of a FSM from its current state.
Claim 20
Dependent Claim
33 words
The method as set forth in claim 10, wherein, said step (d.4) comprises the steps of: d.4.1) displaying current state information and current transition coverage of a FSM; and d.4.2) displaying state information.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1999-05-14 | 1999-11-13 | 2000-05-14 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2003-05-14 | 2003-11-13 | 2004-05-14 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2007-05-14 | 2007-11-13 | 2008-05-14 | $7700.00 | Window Closed / Lapsed |