Search

CN-121996681-A - Forced assignment statement processing method based on release statement, electronic device and medium

CN121996681ACN 121996681 ACN121996681 ACN 121996681ACN-121996681-A

Abstract

The invention relates to the technical field of digital simulation, in particular to a release statement-based forced assignment statement processing method, electronic equipment and medium, which comprises the steps of recording the mapping relation between a line network signal action bit and a top layer signal bit in a forced assignment statement in a first relational database, selecting a target line network signal, recording the mapping relation between the top layer signal bit and a corresponding forced assignment module identification list in a second relational database, and then dynamically recording the mapping relation between the top-level signal and the forced assignment module in the dynamic database, updating the dynamic database and modifying the state of the forced assignment module currently in an active state in the corresponding forced assignment module identification list to a state to be confirmed when a release statement occurs, and combining a second relational database to confirm and update the state of the related forced assignment module when the assignment content of the target network signal changes, so as to execute the forced assignment update operation actually required to be executed. The invention improves the system performance.

Inventors

  • LIN HANG
  • LIN ZHIJIE
  • Zheng huashan

Assignees

  • 成都融见软件科技有限公司
  • 上海合见工业软件集团股份有限公司

Dates

Publication Date
20260508
Application Date
20260127

Claims (10)

  1. 1. A forced assignment statement processing method based on release statements is characterized by comprising the following steps: Step S1, determining target net signals based on { A 1 ,A 2 ,...,A n ,...,A N }, wherein A n is a forcible assignment statement of net signals of an nth target object in a chip design code, the value range of N is 1 to N, N is the total number of forcible assignment statements of net signals of the target object in the chip design code, the target net signals are net signals of which at least one corresponding A n exists in the signals which are self and are interconnected with the target net signals, and the assignment content of at least one corresponding A n is a net signal with a signal variable; S2, acquiring top-level signal bit information T i n corresponding to an ith signal bit W i n of a target object corresponding to A n , and recording the mapping relation between W i n and T i n in a first relation database, wherein the value range of i is 1 to f (n), and f (n) is the total number of target object action bits corresponding to A n ; step S3, setting a forced assignment module B n ,B n for executing the A n to default to an inactive state for the A n , acquiring a forced assignment module identification list corresponding to the T i n based on the { A 1 ,A 2 ,...,A n ,...,A N } and the first relational database, and storing the mapping relation between the T i n and the corresponding forced assignment module identification list in the second relational database; Step S4, in the simulation stage, when A n of the target line network signal occurs, updating the state of the corresponding B n into an active state, and dynamically recording the mapping relation between each T i n corresponding to the A n of the current target line network signal and the forced assignment module currently acting on the T i n in a dynamic database; Step S5, deleting the mapping relation between the T i n corresponding to the release statement and the forced assignment module currently acting on the T i n in the dynamic database when the release statement occurs; S6, modifying the state of the forced assignment module currently in an active state in the forced assignment module identification list corresponding to T i n corresponding to the release statement recorded in the second relational database into a state to be confirmed; Step S7, when the assignment content of the A n of the target line network signal changes, obtaining a change B n corresponding to the A n of the current change target line network signal, and if the state of the change B n is a state to be confirmed, executing step S8; Step S8, obtaining a change T i n and a change W i n corresponding to a n of a current change target line network signal, if a mapping relation between a change T i n and a change B n exists in a dynamic database, modifying the state of a change B n into an active state, executing a forced assignment updating operation on a change W i n corresponding to a change B n based on the change B n , otherwise, modifying the state of a change B n into an inactive state, and not executing the forced assignment updating operation by the change B n .
  2. 2. The method of claim 1, wherein the step of determining the position of the substrate comprises, In the step S1, determining the target net signal based on { A 1 ,A 2 ,...,A n ,...,A N }, comprising: Step S11, searching top-level signals acting on the A n from the top-level module through ports layer by layer, if signal variables exist in assignment content of the A n , executing step S12, otherwise, executing step S13; Step S12, determining the top layer acted by the searched A n as a target top layer signal; step S13, if all the A n are processed, executing step S14, otherwise, returning to step S11; Step S14, based on downward propagation of each target top signal, determining the net signal corresponding to the propagated A n as the target net signal.
  3. 3. The method of claim 1, wherein the step of determining the position of the substrate comprises, In the step S3, setting, for a n , the forced assignment module B n ,B n for executing a n to default to an inactive state includes: Step S31, setting a corresponding forced assignment module B n for the A n ; Step S32, setting B n as a load with signal variable in the assignment content of A n , and setting B n as a drive of A n ; Step S33, recording the target object action bit and assignment content of A n in B n ; In step S34, the state machine is set in B n , the state of the state machine in B n defaults to an inactive state, and B n does not perform the forced assignment update operation in the inactive state.
  4. 4. The method of claim 1, wherein the step of determining the position of the substrate comprises, In the step S3, the obtaining the forced assignment module identifier list corresponding to T i n based on { a 1 ,A 2 ,...,A n ,...,A N } and the first relational database includes: Step C31, acquiring all W i n corresponding to each T i n in the first relational database; And C32, adding B n corresponding to all A n corresponding to all W i n corresponding to each T i n into a forced assignment module identification list corresponding to T i n .
  5. 5. The method of claim 3, wherein the step of, The step S4 includes: Step S41, in the simulation stage, when the A n of the target net signal occurs, updating the state of the corresponding B n into an active state, and acquiring the target B n corresponding to the A n of the current target net signal and the target T i n corresponding to the A n of the current target net signal in the relational database; Step S42, judging whether the mapping relation between the target T i n and the forced assignment module exists in the dynamic database currently, if not, executing step S44, otherwise, executing step S43; Step S43, if the forced assignment module corresponding to the target T i n in the dynamic database is not the target B n , deleting the mapping relation from the dynamic database, and executing step S44; And S44, adding the mapping relation between the T i n corresponding to the A n of the current target line network signal and the target B n into a dynamic database.
  6. 6. The method of claim 1, wherein the step of determining the position of the substrate comprises, The step S5 includes: Step S51, when a release statement occurs, acquiring a W i n corresponding to the release statement; Step S52, determining the T i n corresponding to the W i n corresponding to the release statement in the first relational database as the T i n corresponding to the release statement; And step S53, deleting the mapping relation between the T i n corresponding to the release statement and the forced assignment module currently acting on the T i n in the dynamic database.
  7. 7. The method of claim 1, wherein the step of determining the position of the substrate comprises, In the step S8, the obtaining the change T i n and the change W i n corresponding to the a n of the current change target line network signal includes: Step S81, obtaining a change W i n corresponding to the A n of the current change target line network signal; Step S82, determining the variation T i n corresponding to the variation W i n in the first relational database as the variation T i n corresponding to the A n of the current variation target net signal.
  8. 8. The method of claim 3, wherein the step of, In the step S8, the performing, based on the change B n , the forced assignment update operation on the T i n corresponding to the change B n includes: Step C81, the change B n obtains a corresponding driving value based on the corresponding assignment content; And step C82, forcibly assigning the corresponding driving value to the change W i n corresponding to the change B n .
  9. 9. An electronic device, comprising: at least one processor; and a memory communicatively coupled to the at least one processor; Wherein the memory stores instructions for execution by the at least one processor, the instructions being arranged to perform the method of any of the preceding claims 1-8.
  10. 10. A computer readable storage medium, characterized in that computer executable instructions are stored for performing the method of any of the preceding claims 1-8.

Description

Forced assignment statement processing method based on release statement, electronic device and medium Technical Field The present invention relates to the field of digital simulation technologies, and in particular, to a release statement-based forced assignment statement processing method, electronic device, and medium. Background The forced assignment statement is used to force modification of the target object value during the simulation, no matter what value is driven, the forced assigned signal value cannot be affected. The release statement is used for releasing the forced assignment state of the corresponding bit of the target object in the simulation process. In the prior art, when a forced assignment statement occurs, valid action bit information corresponding to a statement target object is recorded. When the release statement occurs, all the forced assignment modules existing on the connected net signals need to be searched, and the effective bit information is deleted. In the prior art, in the process of processing the forced assignment statement and the release statement, a plurality of modules and respective effective range data need to be maintained, the effective state needs to be repeatedly inquired, the assignment expression of the forced assignment statement needs to be repeatedly calculated, the calculated value may not be used, a large amount of time and memory space need to be consumed, and the system performance is reduced. Disclosure of Invention The invention aims to provide a release statement-based forced assignment statement processing method, electronic equipment and medium, which reduce the required time and memory space and improve the system performance. According to a first aspect of the present invention, there is provided a forced assignment statement processing method based on release statements, including: Step S1, determining target net signals based on { A 1,A2,...,An,...,AN }, wherein A n is a forcible assignment statement of net signals of an nth target object in a chip design code, the value range of N is 1 to N, N is the total number of forcible assignment statements of net signals of the target object in the chip design code, the target net signals are net signals of which at least one corresponding A n exists in the signals which are self and are interconnected with the target net signals, and the assignment content of at least one corresponding A n is a net signal with a signal variable; S2, acquiring top-level signal bit information T in corresponding to an ith signal bit W in of a target object corresponding to A n, and recording the mapping relation between W in and T in in a first relation database, wherein the value range of i is 1 to f (n), and f (n) is the total number of target object action bits corresponding to A n; step S3, setting a forced assignment module B n,Bn for executing the A n to default to an inactive state for the A n, acquiring a forced assignment module identification list corresponding to the T in based on the { A 1,A2,...,An,...,AN } and the first relational database, and storing the mapping relation between the T in and the corresponding forced assignment module identification list in the second relational database; Step S4, in the simulation stage, when A n of the target line network signal occurs, updating the state of the corresponding B n into an active state, and dynamically recording the mapping relation between each T in corresponding to the A n of the current target line network signal and the forced assignment module currently acting on the T in in a dynamic database; Step S5, deleting the mapping relation between the T in corresponding to the release statement and the forced assignment module currently acting on the T in in the dynamic database when the release statement occurs; S6, modifying the state of the forced assignment module currently in an active state in the forced assignment module identification list corresponding to T in corresponding to the release statement recorded in the second relational database into a state to be confirmed; Step S7, when the assignment content of the A n of the target line network signal changes, obtaining a change B n corresponding to the A n of the current change target line network signal, and if the state of the change B n is a state to be confirmed, executing step S8; Step S8, obtaining a change T in and a change W in corresponding to a n of a current change target line network signal, if a mapping relation between a change T in and a change B n exists in a dynamic database, modifying the state of a change B n into an active state, executing a forced assignment updating operation on a change W in corresponding to a change B n based on the change B n, otherwise, modifying the state of a change B n into an inactive state, and not executing the forced assignment updating operation by the change B n. According to a second aspect of the present invention there is provided an electronic