State machine circuit detection device and method

Abstract

The present invention discloses a state machine circuit detection device and method. The state machine circuit detection device includes: a state predictor, a state jump capturer and a state comparator; the state predictor is used to: respond to the input state jump condition information, predict multiple predicted states of the state machine circuit to be detected; the state jump capturer is used to: monitor the real-time state of the state machine circuit, and capture the real-time state when the state of the state machine circuit jumps, and send first information to the state comparator; the state comparator is used to: after receiving the first information, compare whether a specific predicted state among the multiple predicted states is consistent with the real-time state. The state machine circuit detection device and method provided by the present invention can reduce the time cost of state machine circuit detection.

Description

Technical Field

[0001] The present invention relates to the field of computer technology, and in particular to a state machine circuit detection device and method. Background Art

[0002] In SOC design, the state machine, as an important sequential logic circuit, is the core component of many digital systems. As digital circuit design becomes more and more complex, the logic complexity of the state machine circuit also increases dramatically. Checking the correctness of the state jump of the state machine circuit has become a difficult point in the functional verification of each level of the system on chip.

[0003] The current conventional verification method is to establish a reference model of the state machine on the verification platform and perform parallel prediction and inspection using clock follower or event trigger mode.

[0004] The inventors have found that the prior art has at least the following problems: 1. For state machine circuits with a large number of states and complex behaviors, the establishment of a reference model requires a lot of time and manpower; 2. Using real-time monitoring and inspection requires checking all input conditions and state jumps in each clock cycle. This continuous polling method will greatly increase the time cost of testing. Summary of the invention

[0005] The present invention provides a state machine circuit detection device and method, which can reduce the time cost of state machine circuit detection.

[0006] According to one aspect of the present invention, a state machine circuit detection device is provided, comprising: a state predictor, a state jump capturer and a state comparator; the state predictor is used to: predict multiple predicted states of the state machine circuit to be detected in response to input state jump condition information; the state jump capturer is used to: monitor the real-time state of the state machine circuit, and capture the real-time state of the state machine circuit when the state jumps, and send first information to the state comparator; the state comparator is used to: after receiving the first information, compare whether a specific predicted state among the multiple predicted states is consistent with the real-time state.

[0007] According to another aspect of the present invention, a state machine circuit detection method is provided, comprising: predicting multiple predicted states of a state machine circuit to be detected in response to state jump condition information; monitoring the real-time state of the state machine circuit, and capturing the real-time state of the state machine circuit when the state jumps, and comparing whether a specific predicted state among the multiple predicted states is consistent with the real-time state.

[0008] In addition, the state predictor includes a state prediction module, a state refresh module and a storage module; the state prediction module is used to: predict the multiple predicted states of the state machine circuit according to the state jump condition information; the state refresh module is used to: refresh the arrangement order of the multiple predicted states according to the characteristic parameters of the state machine circuit, and generate a state prediction queue; the storage module is used to: store the state prediction queue; the state comparator is specifically used to: after receiving the first information, take out the first state in the state prediction queue as the specific predicted state, and compare whether the specific predicted state is consistent with the real-time state.

[0009] In addition, the state jump condition information is obtained according to the acquired state information input condition, and the state predictor also includes a condition monitoring module; the condition monitoring module is used to: monitor whether the state information input condition is updated, and when the state information input condition is monitored to be updated, send a second information to the state prediction module, wherein after the state information input condition is updated, the state jump condition information is updated; the state prediction module is also used to: generate a new predicted state according to the updated state jump condition information; the state refresh module is also used to: clear the state in the storage module, refresh the arrangement order of the new predicted state according to the characteristic parameters, and generate a new state prediction queue; the storage module is also used to: store the new state prediction queue. Generating a new state prediction queue in the above manner can ensure the accuracy of the state prediction queue in the storage module, thereby ensuring the accuracy of the detection of the state machine circuit detection device.

[0010] In addition, the state machine circuit detection device also includes a state checking module; the state checking module is used to: when the state machine circuit stops operating, check whether there are redundant prediction states in the state prediction queue, and send an alarm message when there are redundant prediction states in the state prediction queue.

[0011] In addition, the state machine circuit detection device also includes a state jump condition generator; the state jump condition generator is used to: extract information from the input state information input conditions, generate the state jump condition information, and send the state jump condition information to the state predictor.

[0012] In addition, the state machine circuit detection device includes a structured storage module; the structured storage module is used to: store the state jump condition information; the state jump condition information is sent to the state predictor, specifically: send the pointer of the structured storage module to the state predictor. In this way, the "new state machine needs to establish a new reference model" in the prior art is avoided, so that the state machine circuit detection device of this embodiment has excellent adaptability and expansibility, and reduces the cost of equipment maintenance.

[0013] In addition, the state information input condition includes: static information input condition and dynamic information input condition; the state jump condition information includes: static jump condition information and dynamic jump condition information; the state jump condition generator includes: static information management module and dynamic information management module; the static information management module is used to: generate the static jump condition information according to the static information input condition; the dynamic information management module is used to: generate the dynamic jump condition information according to the dynamic information input condition. In this way, the state machine circuit detection device supports the detection of static changes of the state machine circuit and dynamic changes during operation, which greatly improves the versatility of the state machine circuit detection device and has good compatibility with different state machine circuit designs.

[0014] Compared with the related art, the technical solution of the embodiment of the present invention has at least the following advantages:

[0015] By setting a state jump capturer, the real-time state of the state machine circuit can be monitored, and the real-time state of the state machine circuit when the state jumps can be captured, so that the state comparator can compare whether a specific predicted state among multiple predicted states is consistent with the real-time state. In other words, the state machine circuit jump moment is used as the entry point for the comparator to start comparison, which reduces the risk of missing the state of the state machine circuit. On the one hand, there is no need to establish a reference model of the state machine, which reduces manpower and time costs; on the other hand, it avoids the situation of "using real-time monitoring and inspection, and all input conditions and state jumps need to be checked in each clock cycle", thereby reducing the time cost of polling the state machine circuit status and greatly improving the operating efficiency of the state machine circuit detection device.

[0016] It should be understood that the contents described in this section are not intended to identify the key or important features of the embodiments of the present invention, nor are they intended to limit the scope of the present invention. Other features of the present invention will become easily understood through the following description. BRIEF DESCRIPTION OF THE DRAWINGS

[0017] In order to more clearly illustrate the technical solutions in the embodiments of the present invention, the following briefly introduces the drawings required for use in the description of the embodiments. Obviously, the drawings described below are only some embodiments of the present invention. For ordinary technicians in this field, other drawings can be obtained based on these drawings without creative work.

[0018] Figure 1 is a structural schematic diagram of a state machine circuit detection device provided according to Embodiment 1 of the present invention;

[0019] Figure 2 is a structural schematic diagram of a state machine circuit detection device provided according to Embodiment 2 of the present invention;

[0020] Figure 3 is a structural schematic diagram of a state machine circuit detection device provided according to Embodiment 3 of the present invention;

[0021] Figure 4 is a structural schematic diagram of a state machine circuit detection device provided according to a fourth embodiment of the present invention;

[0022] Figure 5 is a flow chart of a state machine circuit detection method provided according to Embodiment 5 of the present invention;

[0023] Figure 6 is a flow chart of a state machine circuit detection method provided according to Embodiment 6 of the present invention;

[0024] Figure 7 It is a flow chart of a state machine circuit detection method provided according to Embodiment 7 of the present invention. DETAILED DESCRIPTION

[0025] In order to enable those skilled in the art to better understand the scheme of the present invention, the technical scheme in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described embodiments are only part of the embodiments of the present invention, not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work should fall within the scope of protection of the present invention.

[0026] It should be noted that the terms "first", "second", etc. in the specification and claims of the present invention and the above-mentioned drawings are used to distinguish similar objects, and are not necessarily used to describe a specific order or sequence. It should be understood that the data used in this way can be interchanged where appropriate, so that the embodiments of the present invention described herein can be implemented in an order other than those illustrated or described herein. In addition, the terms "including" and "having" and any variations thereof are intended to cover non-exclusive inclusions, for example, a process, method, system, product or device that includes a series of steps or units is not necessarily limited to those steps or units that are clearly listed, but may include other steps or units that are not clearly listed or inherent to these processes, methods, products or devices.

[0027] Embodiment 1

[0028] Figure 1 A state machine circuit detection device is provided for the first embodiment of the present invention, such as Figure 1 As shown, the state machine circuit detection device includes:

[0029] A state predictor 1, a state jump capturer 2 and a state comparator 3; the state predictor 1 is used to: respond to the input state jump condition information, predict multiple predicted states of the state machine circuit to be detected; the state jump capturer 2 is used to: monitor the real-time state of the state machine circuit, and capture the real-time state of the state machine circuit when the state jumps, and send the first information to the state comparator 3; the state comparator 3 is used to: after receiving the first information, compare whether a specific predicted state among the multiple predicted states is consistent with the real-time state.

[0030] Compared with the related art, the technical solution of the embodiment of the present invention has at least the following advantages: by setting the state jump capturer 2, the real-time state of the state machine circuit can be monitored, and the real-time state of the state machine circuit when the state jumps can be captured, so that the state comparator 3 can compare whether a specific predicted state among multiple predicted states is consistent with the real-time state. That is to say, the state machine circuit jump moment is used as the entry point for the comparator to start comparison, which reduces the risk of missing the state of the state machine circuit. On the one hand, there is no need to establish a reference model of the state machine, which reduces manpower and time costs; on the other hand, it avoids the occurrence of the situation of "using real-time monitoring and inspection, and all input conditions and state jumps need to be checked in each clock cycle", reduces the time cost of polling the state machine circuit state, and greatly improves the operating efficiency of the state machine circuit detection device.

[0031] Preferably, the state predictor 1 in this embodiment includes a state prediction module 11, a state refresh module 12 and a storage module 13; the state prediction module 11 is used to: predict multiple predicted states of the state machine circuit according to the state jump condition information; the state refresh module 12 is used to: refresh the arrangement order of multiple predicted states according to the characteristic parameters of the state machine circuit, and generate a state prediction queue; the storage module 13 is used to: store the state prediction queue; the state comparator 3 is specifically used to: after receiving the first information, take out the first state in the state prediction queue as the specific predicted state, and compare whether the specific predicted state is consistent with the real-time state. It can be understood that by dividing the state predictor 1 into multiple modules, each module cooperates in division of labor, and improves the working efficiency of the state predictor 1; in addition, since different state machine circuits correspond to different state jump condition information, by using the state prediction queue, different state jump condition information corresponds to different state prediction queues, when the number of state machines and state conditions change, only the corresponding state prediction queue needs to be updated, avoiding the "new state machine needs to establish a new reference model" in the prior art, so that the state machine circuit detection device of this embodiment has excellent adaptability and expansibility, and reduces the cost of equipment maintenance.

[0032] It is worth mentioning that, since the state comparator 3 compares the first state of the state prediction queue and the real-time state each time, the arrangement order of the predicted states in the state prediction queue directly affects the accuracy of the state machine circuit detection device. Since the characteristic parameters (such as the number of state registers and the composition of the logic circuit) of each state machine circuit are different, this embodiment sets a state refresh module 12 so that the state prediction queue corresponding to the state machine circuit can be refreshed according to different characteristic parameters, thereby ensuring the accuracy of the state prediction queue and further improving the accuracy of the detection of the state machine circuit detection device.

[0033] Please see further Figure 1, the state machine circuit detection device also includes a state jump condition generator 4; the state jump condition generator 4 is used to: extract information from the input state information input conditions, generate state jump condition information, and send the state jump condition information to the state predictor 1. Specifically, the state information input conditions include: static information input conditions and dynamic information input conditions; the state jump condition information includes: static jump condition information and dynamic jump condition information; the state jump condition generator 4 includes: a static information management module 41 and a dynamic information management module 42; the static information management module 41 is used to: generate static jump condition information according to the static information input conditions; the dynamic information management module 42 is used to: generate dynamic jump condition information according to the dynamic information input conditions. It is worth mentioning that, through this method, the state machine circuit detection device supports the detection of static changes of the state machine circuit and dynamic changes during operation, which greatly improves the versatility of the state machine circuit detection device and has good compatibility with different state machine circuit designs.

[0034] More specifically, the static information input conditions are composed of off-chip input pins, register values, interrupt responses, and other information. The common attribute of these input information is that they will not change except when the system is reset, that is, during the normal operation of the entire system. The information is provided in the form of, but not limited to, Excel tables, txt files, etc. The above forms must at least include, but not be limited to, the following information: (1) the current state of the state machine circuit and the next state to be jumped to; (2) the value of the input information.

[0035] Dynamic information input conditions are composed of information on the output of digital circuits such as off-chip input pins, register values, interrupt responses, other state machine circuits, counter circuits, etc. The common characteristics of this information can change at any time with the clock beat during the entire system operation. The information provided includes but is not limited to the following information: (1) information on the current state and the next state to be jumped to in the state machine circuit; (2) information such as directly referenced input pin values, pre-configured values ​​of registers in the test environment, etc.; (3) implementing timing circuits such as counters in the test environment, and the output information of these timing circuits is used as dynamic input information; (4) referencing the output information of digital circuits in the system through backdoor access as dynamic input information; (5) using information in the memory as dynamic input information.

[0036] Embodiment 2

[0037] Figure 2 This is a schematic diagram of the structure of a state machine circuit detection device provided in the second embodiment of the present invention. This embodiment is a further improvement made on the basis of the above-mentioned embodiment. The specific improvement is: in this embodiment, if Figure 2As shown, the state machine circuit detection device includes a structured storage module 5 .

[0038] The structured storage module 5 is used to: store state jump condition information; send the state jump condition information to the state predictor 1, specifically: send the pointer of the structured storage module to the state predictor 1. Since different state machine circuits correspond to different state jump condition information, the state jump condition information is uniformly managed by using a structured storage module, and different state jump condition information is stored in different structured storage modules. When the number and state conditions of the state machines change, it is only necessary to update the new state jump condition information to the corresponding structured storage unit, and send the pointer of the structured storage unit to the state predictor 1, avoiding the "new state machine needs to establish a new reference model" in the prior art, so that the state machine circuit detection device of this embodiment has excellent adaptability and expansibility, and reduces the cost of equipment maintenance.

[0039] Embodiment 3

[0040] Figure 3 This is a schematic diagram of the structure of a state machine circuit detection device provided in the third embodiment of the present invention. This embodiment is a further improvement made on the basis of the above-mentioned embodiment. The specific improvement is: in this embodiment, if Figure 3 As shown, the state predictor 1 further includes a condition monitoring module 14 .

[0041] The condition monitoring module 14 is used to monitor whether the state information input condition is updated, and when it is detected that the state information input condition is updated, send the second information to the state prediction module 11, wherein after the state information input condition is updated, the state jump condition information is updated; the state prediction module 11 is also used to generate a new predicted state according to the updated state jump condition information; the state refresh module 12 is also used to clear the state in the storage module, refresh the arrangement order of the new predicted state according to the characteristic parameters, and generate a new state prediction queue; the storage module 13 is also used to store the new state prediction queue.

[0042] It should be noted that, since the state information input condition is updated, the state jump condition information will also be updated accordingly. Therefore, by generating a new state prediction queue in the above manner, the accuracy of the state prediction queue in the storage module 13 can be ensured, thereby ensuring the accuracy of the detection of the state machine circuit detection device. It is understandable that during the operation of the entire state machine circuit, the condition monitoring module 14 will monitor in real time whether the state information input condition is updated. Once it is detected that the state information input condition is updated, the state prediction module 11 will immediately re-predict a new state, and the state refresh module 12 will clear the state that has not been taken out of the storage module 13, and put the newly predicted state back into the storage module 13.

[0043] It is worth mentioning that the condition monitoring module 14 in this embodiment can be the same module as the state prediction module 11. In this way, the structure of the state machine circuit detection device is simpler, and there is no need to add additional modules to monitor the state jump condition information.

[0044] Embodiment 4

[0045] Figure 4 This is a schematic diagram of the structure of a state machine circuit detection device provided in Embodiment 4 of the present invention. This embodiment is a further improvement on the previous embodiment, and the specific improvement is that: in this embodiment, the state machine circuit detection device further includes a state checking module 6 .

[0046] The state checking module 6 is used to check whether there are redundant prediction states in the state prediction queue when the state machine circuit stops running, and send an alarm message when there are redundant prediction states in the state prediction queue. In this way, it is ensured that there is no redundancy of prediction states, and the accuracy of device detection is further improved.

[0047] For ease of understanding, the working process of the state machine circuit detection device in this embodiment is specifically described below:

[0048] The state jump condition generator 4 generates the state jump condition information according to the input state information input condition and sends it to the state predictor 1. The state predictor 1 predicts the state and stores it in the state prediction queue. At the same time, the state jump capturer 2 keeps capturing the state jump moment in the state machine circuit. Once captured, it is immediately sent to the state comparator 3 for comparison. When the system is finished working, it checks whether the state prediction queue is empty, so as to achieve the purpose of checking whether the state machine circuit is operating normally.

[0049] Embodiment 5

[0050] Figure 5 A flow chart of a state machine circuit detection method provided in the fifth embodiment of the present invention is as follows: Figure 5 As shown, the following steps are included:

[0051] S110: In response to the state jump condition information, predict a plurality of predicted states of the state machine circuit to be detected.

[0052] Specifically, by extracting information from the input state information input conditions, state jump condition information is generated, and the state jump condition information includes: static jump condition information and dynamic jump condition information.

[0053] S120: monitor the real-time state of the state machine circuit, and capture the real-time state when the state of the state machine circuit jumps, and compare whether a specific predicted state among multiple predicted states is consistent with the real-time state.

[0054] Compared with the related art, the technical solution of the embodiment of the present invention has at least the following advantages: by monitoring the real-time state of the state machine circuit and capturing the real-time state of the state machine circuit when the state jumps, it is possible to compare whether a specific predicted state among multiple predicted states is consistent with the real-time state. That is to say, the state machine circuit jump moment is used as the entry point for the comparator to start comparison, thereby reducing the risk of missing the state of the state machine circuit. On the one hand, there is no need to establish a reference model of the state machine, thereby reducing manpower and time costs; on the other hand, it avoids the occurrence of the situation of "using real-time monitoring and inspection, requiring all input conditions and state jumps to be checked in each clock cycle", thereby reducing the time cost of polling the state machine circuit state and greatly improving the operating efficiency of the state machine circuit detection device.

[0055] It is worth mentioning that the state machine circuit detection method provided in the embodiment of the present invention can be executed via the state machine circuit detection device provided in any embodiment of the present invention, and has the corresponding functional modules and beneficial effects of the execution device.

[0056] Embodiment 6

[0057] Figure 6 A flowchart of a state machine circuit detection method provided for the sixth embodiment of the present invention is a further improvement made on the basis of the previous embodiment. The specific improvement is that: this embodiment will also refresh the arrangement order of the multiple predicted states according to the characteristic parameters of the state machine circuit to generate a state prediction queue. In this way, when the number and state conditions of the state machine change, only the corresponding state prediction queue needs to be updated, avoiding the "new state machine needs to establish a new reference model" in the prior art, so that the state machine circuit detection device of this embodiment has excellent adaptability and expansibility, reducing the cost of equipment maintenance.

[0058] The specific process of this embodiment is as follows Figure 6 As shown, including:

[0059] S210: In response to the state jump condition information, predict a plurality of predicted states of the state machine circuit to be detected.

[0060] S220: Refresh the arrangement order of multiple predicted states according to the characteristic parameters of the state machine circuit, and generate a state prediction queue.

[0061] S230: monitor the real-time state of the state machine circuit, and capture the real-time state when the state of the state machine circuit jumps, take out the first state in the state prediction queue as the specific prediction state, and compare whether the specific prediction state is consistent with the real-time state.

[0062] Regarding steps S220 to S230, specifically, since the first state of the state prediction queue and the real-time state are compared each time, the arrangement order of the predicted states in the state prediction queue directly affects the accuracy of the state machine circuit detection device. Since the characteristic parameters of each state machine circuit (such as the number of state registers and the composition of the logic circuit) are different, this embodiment can ensure the accuracy of the state prediction queue by "refreshing the arrangement order of multiple predicted states according to the characteristic parameters of the state machine circuit", thereby improving the accuracy of the detection of the state machine circuit detection device.

[0063] Embodiment 7

[0064] Figure 7 The flowchart of a state machine circuit detection method provided for the seventh embodiment of the present invention is a further improvement made on the basis of the previous embodiment. The specific improvement is that: the present embodiment will also send an alarm message when it is detected that there are redundant predicted states in the state prediction queue. In this way, it can be ensured that there is no redundancy in the predicted state, thereby greatly improving the safety of device detection.

[0065] The specific process of this embodiment is as follows Figure 7 As shown, including:

[0066] S310: In response to the state jump condition information, predict a plurality of predicted states of the state machine circuit to be detected.

[0067] S320: Refresh the arrangement order of multiple predicted states according to the characteristic parameters of the state machine circuit to generate a state prediction queue

[0068] S330: monitor the real-time state of the state machine circuit, and capture the real-time state when the state of the state machine circuit jumps, take out the first state in the state prediction queue as the specific prediction state, and compare whether the specific prediction state is consistent with the real-time state.

[0069] S340: When it is detected that the state machine circuit stops operating, check whether there are redundant prediction states in the state prediction queue.

[0070] S350: When it is detected that there are redundant prediction states in the state prediction queue, an alarm message is sent.

[0071] Regarding steps S340 to S350, specifically, this embodiment does not specifically limit the form of the alarm information, such as a voice alarm or a text reminder.

[0072] It should be understood that the various forms of processes shown above can be used to reorder, add or delete steps. For example, the steps described in the present invention can be executed in parallel, sequentially or in different orders, as long as the desired results of the technical solution of the present invention can be achieved, and this document does not limit this.

[0073] The above specific implementations do not constitute a limitation on the protection scope of the present invention. It should be understood by those skilled in the art that various modifications, combinations, sub-combinations and substitutions can be made according to design requirements and other factors. Any modification, equivalent substitution and improvement made within the spirit and principle of the present invention should be included in the protection scope of the present invention.

Claims

1. A state machine circuit detection device, characterized in that: include: state predictor, state transition catcher, and state comparator; The state predictor is used to: predict a plurality of predicted states of the state machine circuit to be detected in response to input state jump condition information; The state jump capturer is used to: monitor the real-time state of the state machine circuit, and capture the real-time state when the state of the state machine circuit jumps, and send first information to the state comparator; The state comparator is used to: after receiving the first information, compare whether a specific predicted state among the multiple predicted states is consistent with the real-time state; Wherein, the state predictor includes a state prediction module, a state refresh module and a storage module; The state prediction module is used to: predict the multiple predicted states of the state machine circuit according to the state jump condition information; The state refresh module is used to: refresh the arrangement order of the multiple predicted states according to the characteristic parameters of the state machine circuit, and generate a state prediction queue; The storage module is used to: store the state prediction queue; The state comparator is specifically used to: after receiving the first information, take out the first state in the state prediction queue as the specific prediction state, and compare whether the specific prediction state is consistent with the real-time state.

2. The state machine circuit detection device according to claim 1, characterized in that: The state jump condition information is obtained according to the acquired state information input condition, and the state predictor also includes a condition monitoring module; The condition monitoring module is used to: monitor whether the state information input condition is updated, and when monitoring that the state information input condition is updated, send second information to the state prediction module, wherein after the state information input condition is updated, the state jump condition information is updated; The state prediction module is also used to: generate a new predicted state according to the updated state jump condition information; The state refresh module is further used to: clear the state in the storage module, refresh the arrangement order of the new predicted state according to the characteristic parameters, and generate a new state prediction queue; The storage module is also used to store the new state prediction queue.

3. The state machine circuit detection device according to claim 1, characterized in that: The state machine circuit detection device also includes a state checking module; The state checking module is used to check whether there are redundant prediction states in the state prediction queue when the state machine circuit stops running, and send alarm information when there are redundant prediction states in the state prediction queue.

4. The state machine circuit detection device according to claim 1, characterized in that: The state machine circuit detection device also includes a state jump condition generator; The state jump condition generator is used to extract information from the input state information input condition, generate the state jump condition information, and send the state jump condition information to the state predictor.

5. The state machine circuit detection device according to claim 4, characterized in that: The state machine circuit detection device includes a structured storage module; The structured storage module is used to: store the state jump condition information; The sending the state jump condition information to the state predictor specifically includes: sending the pointer of the structured storage module to the state predictor.

6. The state machine circuit detection device according to claim 4 or 5, characterized in that: The state information input conditions include: static information input conditions and dynamic information input conditions; The state jump condition information includes: static jump condition information and dynamic jump condition information; The state jump condition generator includes: a static information management module and a dynamic information management module; The static information management module is used to: generate the static jump condition information according to the static information input condition; The dynamic information management module is used to generate the dynamic jump condition information according to the dynamic information input condition.

7. A state machine circuit detection method, characterized in that: include: In response to the state jump condition information, predicting a plurality of predicted states of the state machine circuit to be detected; Monitor the real-time state of the state machine circuit, and capture the real-time state when the state of the state machine circuit jumps, and compare whether a specific predicted state among the multiple predicted states is consistent with the real-time state; Wherein, in response to the state jump condition information, a plurality of predicted states of the state machine circuit to be detected are predicted, including: Predicting the multiple predicted states of the state machine circuit according to the state jump condition information; According to the characteristic parameters of the state machine circuit, refreshing the arrangement order of the plurality of predicted states, generating and storing a state prediction queue; Comparing whether a specific predicted state among the multiple predicted states is consistent with the real-time state includes: After receiving the real-time state when the state of the state machine circuit jumps, the first state in the state prediction queue is taken out as the specific prediction state, and the specific prediction state is compared to see whether it is consistent with the real-time state.

8. The state machine circuit detection method according to claim 7, characterized in that: After predicting a plurality of predicted states of the state machine circuit to be detected, the method further comprises: According to the characteristic parameters of the state machine circuit, refreshing the arrangement order of the plurality of predicted states to generate a state prediction queue; The comparing whether a specific predicted state in the multiple predicted states is consistent with the real-time state is specifically: The first state in the state prediction queue is taken out as the specific prediction state, and the specific prediction state is compared to see whether it is consistent with the real-time state.

9. The state machine circuit detection method according to claim 8, characterized in that: After comparing whether the specific predicted state is consistent with the real-time state, the method further includes: detecting whether the state machine circuit stops operating, and when detecting that the state machine circuit stops operating, checking whether there are redundant prediction states in the state prediction queue; When it is detected that there are redundant prediction states in the state prediction queue, an alarm message is sent.

Images