CN113962176B - Method and device for verifying correctness of netlist file subjected to triple modular redundancy processing - Google Patents
Method and device for verifying correctness of netlist file subjected to triple modular redundancy processing Download PDFInfo
- Publication number
- CN113962176B CN113962176B CN202111575828.6A CN202111575828A CN113962176B CN 113962176 B CN113962176 B CN 113962176B CN 202111575828 A CN202111575828 A CN 202111575828A CN 113962176 B CN113962176 B CN 113962176B
- Authority
- CN
- China
- Prior art keywords
- mode
- information
- signal
- redundancy processing
- port connection
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/34—Circuit design for reconfigurable circuits, e.g. field programmable gate arrays [FPGA] or programmable logic devices [PLD]
- G06F30/343—Logical level
Abstract
The invention provides a netlist file correctness verification method and device after triple modular redundancy processing, which are characterized in that a comprehensive netlist file, a triple modular configuration file and a triple modular netlist file are obtained; analyzing the synthesized netlist file to obtain information of each element after synthesis, and analyzing the three-mode netlist file to obtain an information table of each element after three-mode; obtaining an element three-mode configuration mode according to the three-mode configuration file, and generating three-mode expected information of each element class according to the integrated element information similar to the element information subjected to the three-mode redundancy processing; and comparing the information of each element after the triple modular redundancy processing with the triple modular expected information of each element class, and if the information of each element is consistent with the triple modular expected information of each element class, correctly processing the triple modular redundancy. A tester can know whether the processing result is correct or not only by inputting the netlist file and the three-mode configuration file before and after processing, and the method can be used for batch data testing, can reduce the technical requirements on the tester, greatly improves the testing efficiency and reduces the testing cost.
Description
Technical Field
The invention belongs to the field of software testing in the field of programmable logic devices, and particularly relates to a method and a device for verifying correctness of a netlist file subjected to triple modular redundancy processing.
Background
In recent years, with the rapid development of the chip industry, the field of application of the field programmable gate array FPGA is more and more extensive, including aerospace, network, communication, recent artificial intelligence and the like, and because the FPGA based on the SRAM is particularly sensitive to the radiation of a single particle, a soft fault is easily generated under the condition of space radiation. Soft faults have a particularly severe impact on circuitry implemented in SRAM-based FPGAs. The triple modular redundancy technology is a widely used fault-tolerant technology aiming at single event upset on the FPGA, and can greatly improve the reliability of the FPGA under the influence of the single event upset. The idea of triple modular redundancy is that three modules perform the same operation at the same time, with the most identical output as the correct output of the voting system, commonly referred to as two-out-of-three. As long as two wrong results do not occur simultaneously in the three modules, the occurrence of faults can be avoided, the probability of faults is reduced, and the reliability of the system is improved. However, whether the implementation of the triple modular redundancy is correct or not affects the correctness of the output result, so that the testing work of the triple modular redundancy is indispensable, and the high-efficiency and reliable testing method can quickly and accurately verify the implementation result of the triple modular redundancy.
Disclosure of Invention
The invention provides a method and a device for verifying correctness of a netlist file subjected to triple modular redundancy processing, and aims to solve the technical problem of rapidly verifying correctness of triple modular redundancy.
In order to solve the technical problems, the technical scheme adopted by the invention is as follows:
a netlist file correctness verification method after triple modular redundancy processing comprises the following steps:
step 1: acquiring a synthesized netlist file, a three-mode configuration file and a three-mode netlist file generated after three-mode;
step 2: analyzing the synthesized netlist file to obtain information of each synthesized element and a signal connection relation between the elements, and analyzing the tri-mode netlist file to obtain an information table of each element after the tri-mode redundancy processing;
and step 3: obtaining the three-mode configuration mode of each element according to the three-mode configuration file,
and 4, step 4: generating the three-mode expected information of each element class according to the integrated information of each element and the information of the element after the similar three-mode redundancy processing according to the three-mode configuration mode and the three-mode configuration rule of each element;
and 5: and comparing the information of each element of the FPGA subjected to triple modular redundancy processing with the three-modular expected information of each element class, wherein the element information comprises an element name, input port and input port connection signals, output port and output port connection signals and configuration attributes of the element.
Further, the rule of the three-mode configuration is:
when the three-mode configuration mode of the element is Standard, performing three backup on the element information;
when the three-mode configuration mode of the element is simplified _ unvorted, performing three backups on the element information;
when the three-mode configuration mode of the element is Triple-rated, performing three backups on the element information;
when the three-mode configuration mode of the element is Double-Voted, carrying out two backups on the element information;
when the three-mode configuration mode of the element is Don't Touch, the element information is not processed, and the original information of the element is kept;
when the three-mode configuration mode of the element is conversion, the element information is not processed, and the original information of the element is kept;
when the element is a starting point element of a signal and the three-mode configuration mode of the element is Standard, if the three-mode configuration mode of the terminal point element of the signal is conversion, a voting element is added to each output port connection signal of the starting point element;
when the element is a starting point element of a signal and the three-mode configuration mode of the element is Standard, if the three-mode configuration mode of a terminal element of the signal is Triple-rated or Double-rated and the signal of the starting point element connected to the terminal element is input port datain to the terminal element, a voting element is added to each output port connection signal of the starting point element.
Further, the terminal element judges the trend of the signal according to the signal connection relation between the elements to obtain the signal.
Further, the integrated element information and the signal connection relationship between elements, the element information after triple modular redundancy processing and the triple modular expectation information of each element class generated in step 2 are respectively stored in a database to form an integrated element information table, an integrated element signal connection relationship table, a triple modular element information table and an element class triple modular expectation information table.
Further, the method for generating the three-mode expected information of each element class according to the element information after the integrated element information is processed similarly to the three-mode redundancy processing according to the three-mode configuration mode and the three-mode configuration rule is as follows:
traversing each element in the integrated element information table,
when the three-mode configuration mode of the element does not need to process the element information according to the three-mode configuration rule, backing up the element information into an element type three-mode expected information table, and keeping the original information unchanged;
when the three-mode configuration mode of the element needs to be backed up according to the three-mode configuration rule, backing up the element information into an element type three-mode expected information table according to the backup number, naming the names of a plurality of backup elements newly backed up by the element according to the naming rule of the three-mode redundancy processing, naming the names of output port connection signals of a plurality of backup elements newly backed up according to the naming rule of the three-mode redundancy processing, and naming other information as the original element information;
when a voting element is newly added according to the requirement of a three-mode configuration rule in a three-mode configuration mode of the element, a corresponding number of voting elements are created in an element type three-mode expected information table according to the number of output port connection signals of the element, the names of the voting elements are named according to the naming rule of three-mode redundancy processing, the input port connection signals of the voting elements are respectively connected with the output port connection signals of three backup elements after three backup of the element, the output port of the voting element is a logic output port, and the attribute value of the voting element are preset fixed values.
Furthermore, a new signal corresponding table is added, and the output port connection signals of all the elements in the integrated element information table correspond to the output port connection signals of all the elements in the element type three-mode expected information table generated according to the three-mode configuration rule.
And further, updating the input port connection signal of each element in the element type three-mode information table according to the signal corresponding table.
Further, the method for updating the input port connection signal of each element in the element class three-mode information table is as follows:
if the input port connection signal of the element in the element class three-mode expected information table only has one piece of corresponding data in the signal corresponding table, replacing the input port connection signal with a corresponding new signal name in the signal corresponding table;
if the input port connection signal has more than one corresponding data in the signal correspondence table:
judging whether the element is a newly added three-mode backup element according to the naming rule of the element name, and if the element is the newly added three-mode backup element, replacing an input port connection signal of the backup element with a corresponding new signal name in a signal corresponding table;
and if the input port connection signal does not contain the voting signal, replacing the input port connection signal with a table decision signal, and if the input port connection signal does not contain the voting signal, replacing the input port connection signal with the first new signal name generated according to the three-mode naming rule.
The invention also provides a device for verifying the correctness of the netlist file after the trimodal redundancy processing, which comprises the following modules:
a file input module: the device is used for acquiring a synthesized netlist file, a three-mode configuration file and a three-mode netlist file generated after three modes;
an analysis module: the device is used for analyzing the synthesized netlist file to obtain information of each element after synthesis and signal connection relation among the elements, and analyzing the three-mode netlist file to obtain information tables of each element after three-mode redundancy processing;
a three-mode configuration mode generation module: the three-mode configuration mode is used for obtaining the three-mode configuration mode of each element according to the three-mode configuration file;
a class three-mode information generation module: the device is used for backing up the integrated information of each element according to the three-mode configuration mode and the three-mode configuration rule of each element and the element information processed by the three-mode redundancy processing to generate the three-mode expected information of each element class;
a comparison module: the FPGA three-module redundancy processing module is used for comparing each element information of the FPGA after three-module redundancy processing with each element type three-module expected information generated by the type three-module information generating module, if the element information is consistent with the type three-module expected information, the three-module redundancy processing is correct, and if the element information is inconsistent with the type three-module expected information, the three-module redundancy processing is wrong.
By adopting the technical scheme, the invention has the following beneficial effects:
the invention provides a method and a device for verifying correctness of a netlist file after triple modular redundancy processing, which are characterized in that a triple modular configuration attribute of each element is extracted according to a triple modular configuration file, integrated element information is configured according to the triple modular configuration attribute and a triple modular configuration rule to obtain an element expected information table similar to the information obtained after triple modular redundancy processing, the element expected information table is compared with each element information obtained after triple modular redundancy processing, if the element expected information is consistent with the element information obtained after triple modular redundancy processing, the triple modular redundancy processing is correct, if the element expected information is inconsistent with the element information obtained after triple modular redundancy processing, the result obtained after triple modular redundancy processing is incorrect, incorrect information can be printed into a result file, and a user can check the comparison result through the result file and track problems. The test efficiency of the triple-modular redundancy technical processing method in the FPGA is effectively improved, a tester can know whether the processing result is correct or not only by inputting the netlist file and the triple-modular configuration file before and after processing, the method can be used for batch data testing, the technical requirements on the tester can be reduced, meanwhile, the test efficiency is greatly improved, and the test cost is reduced.
Drawings
FIG. 1 is a flow chart of the system of the present invention;
FIG. 2 is a flow diagram of a method for generating a class three-modulus element based on a three-modulus configuration mode and three-modulus configuration rules;
fig. 3 is a schematic diagram of three-mode expected information of a generating element class.
Detailed Description
The technical solutions of the present invention will be described clearly and completely with reference to the accompanying drawings, and it should be understood that the described embodiments are some, but not all embodiments of the present invention. All other embodiments, which can be derived by a person skilled in the art from the embodiments given herein without making any creative effort, shall fall within the protection scope of the present invention.
Fig. 1 to fig. 3 show a specific embodiment of a netlist file correctness verification method after triple modular redundancy processing according to the present invention, as shown in fig. 1, including the following steps:
step 1: and acquiring the synthesized netlist file, the three-mode configuration file and the three-mode netlist file generated after three-mode. According to the embodiment, the netlist file after the triple modular redundancy processing can be verified according to the configuration information of each element in the triple modular configuration file only by inputting the three files, namely the netlist files before and after the triple modular processing, so that the technical requirements on testers are reduced, the testing efficiency is greatly improved, and the testing cost is reduced.
Step 2: analyzing the synthesized netlist file to obtain information of each synthesized element and a signal connection relation between the elements, and analyzing the tri-mode netlist file to obtain an information table of each element after the tri-mode redundancy processing; in this embodiment, the component information includes a component name, input port and input port connection signals, output port and output port connection signals, and configuration attributes of the component.
And step 3: obtaining a three-mode configuration mode of each element according to the three-mode configuration file;
and 4, step 4: and generating the three-mode expected information of each element class according to the integrated element information and the element information after the similar three-mode redundancy processing according to the three-mode configuration mode and the three-mode configuration rule of each element. As shown in fig. 2, the three-mode configuration rule in this embodiment is:
when the three-mode configuration mode of the element is Standard, performing three backup on the element information;
when the three-mode configuration mode of the element is simplified _ unvorted, performing three backups on the element information;
when the three-mode configuration mode of the element is Triple-rated, performing three backups on the element information;
when the three-mode configuration mode of the element is Double-Voted, carrying out two backups on the element information;
when the three-mode configuration mode of the element is Don't Touch, the element information is not processed, and the original information of the element is kept;
when the three-mode configuration mode of the element is conversion, the element information is not processed, and the original information of the element is kept;
when the element is a starting point element of a signal and the three-mode configuration mode of the element is Standard, if the three-mode configuration mode of the terminal point element of the signal is conversion, a voting element is added to each output port connection signal of the starting point element;
when the element is a starting point element of a signal and the three-mode configuration mode of the element is Standard, if the three-mode configuration mode of a terminal element of the signal is Triple-rated or Double-rated and the signal of the starting point element connected to the terminal element is input port datain to the terminal element, a voting element is added to each output port connection signal of the starting point element. The definitions of the start and end elements are: if an element outputs a signal, it is said to be the starting element of the signal, which in turn is connected to an input port to another element, these elements are referred to as the ending elements of the signal. And the terminal element judges the trend of the signal according to the signal connection relation between the elements.
The integrated component information is configured according to the three-mode configuration rule and the three-mode configuration mode of the component, so that the integrated component information becomes similar to the component information after the three-mode redundancy processing.
In this embodiment, the integrated element information and the signal connection relationship between elements, the integrated element information after triple modular redundancy processing, and the triple modular expectation information of each element class generated in step 2 are respectively stored in a database to form an integrated element information table, an integrated element signal connection relationship table, a triple modular element information table, and an element expectation information table. The information is stored in a database to form a comprehensive element information table, a signal connection relation table among comprehensive elements, a three-module back element information table and an element type three-module expected information table, so that query and modification are facilitated, and other storage modes which are convenient to query and modify can be used for storage.
In this embodiment, as shown in fig. 3, a method for generating three-module expected information of each element class according to the element information after the integrated element information is processed similarly to the three-module redundancy processing according to the three-module configuration mode and the three-module configuration rule is as follows:
traversing each element in the integrated element information table,
when the three-mode configuration mode of the element does not need to process the element information according to the three-mode configuration rule, backing up the element information into an element type three-mode expected information table, and keeping the original information unchanged;
when the three-mode configuration mode of the element needs to be backed up according to the three-mode configuration rule, backing up the element information into an element type three-mode expected information table according to the backup number, naming the names of a plurality of backup elements newly backed up by the element according to the naming rule of the three-mode redundancy processing, naming the names of output port connection signals of a plurality of backup elements newly backed up according to the naming rule of the three-mode redundancy processing, and naming other information as the original element information;
when a voting element is newly added according to the requirement of a three-mode configuration rule in a three-mode configuration mode of the element, a corresponding number of voting elements are created in an element type three-mode expected information table according to the number of output port connection signals of the element, the names of the voting elements are named according to the naming rule of three-mode redundancy processing, the input port connection signals of the voting elements are respectively connected with the output port connection signals of three backup elements after three backup of the element, the output port of the voting element is a logic output port, and the attribute value of the voting element are preset fixed values.
In this embodiment, when the integrated component information is generated into component information similar to the element information after the triple modular redundancy processing according to the triple modular configuration mode and the triple modular configuration rule, in the generation process, the backup component name and the output port connection signal of the backup component are modified according to the number of backup components, and in order to make the input port connection signal after the triple modular processing correspond to the input port connection signal in the integrated component information table, the input port connection signal in the element triple modular expectation information table needs to be updated according to the output port connection signals before and after the triple modular processing of the component. In order to quickly update the input port connection signals in the element type three-mode expected information table, a signal corresponding table is newly added, and the output port connection signals of all elements in the integrated element information table correspond to the output port connection port signals of all elements when the elements are subjected to type three-mode processing according to a three-mode configuration rule.
As shown in fig. 3, traversing the elements in the integrated element information table, and according to the element three-mode configuration mode and the three-mode configuration rule, when an element needs to be subjected to three-mode backup, performing three-mode backup on the element, and naming the element name of the three-mode backup element and the output port connection signal name according to the three-mode redundancy processing naming rule, in this embodiment, if the element name of the new three-mode backup element is the original element name _ tmr0, the original element name _ tmr1, the original element name _ tmr2, and the output port connection signal name of the new three-mode backup element is changed as follows: original signal name _ tmr0, original signal name _ tmr1, original signal name _ tmr 2; according to the rule of three-mode configuration, if the element is a signal starting point element and the three-mode configuration mode of the element is Standard, and if the three-mode configuration mode of the signal ending point element in which the ending point elements are concentrated is conversion, a voting element is newly added to each output port of the starting point element for connecting the signal; if the element is a starting point element of a signal and the three-mode configuration mode of the element is Standard, if the three-mode configuration mode of a terminal element of the signal is Triple-rated or Double-rated and the signal of the starting point element connected to the terminal element is input port datain of the terminal element, a voting element is added to each output port connection signal of the starting point element. Naming the newly added voting element according to a triple modular redundancy processing naming rule, if the name of the newly added voting element is the original element name _ voted, adding three input ports for the newly added voting element, and respectively connecting output ports of three backup elements of the element with signals: the voting element is additionally provided with an output port and connected with voted signals, the configuration attribute and the attribute value of the voting element are fixed values which are set in advance according to a triple-modular redundancy processing rule, and the condition that two of three triple-modular signals output by the voting element are consistent can be ensured. And simultaneously, adding new data in the signal corresponding table, adding a data record to each output port connection signal, wherein the name of the newly recorded original signal is the original output port connection signal, and the name of the newly recorded new signal is the original signal name _ voted.
In this embodiment, after obtaining the element class three-mode expected information table according to the three-mode configuration mode and the three-mode configuration rule of the element, the input port connection signal of each element in the table needs to be updated. The updating method comprises the following steps:
if the input port connection signal of the element in the element class three-mode expected information table only has one piece of corresponding data in the signal corresponding table, replacing the input port connection signal with a corresponding new signal name in the signal corresponding table;
if the input port connection signal has more than one corresponding data in the signal correspondence table:
judging whether the element is a newly added three-mode backup element according to the naming rule of the element name, and if the element is the newly added three-mode backup element, replacing an input port connection signal of the backup element with a corresponding new signal name in a signal corresponding table;
and if the input port connection signal does not contain the voting signal, replacing the input port connection signal with a table decision signal, and if the input port connection signal does not contain the voting signal, replacing the input port connection signal with the first new signal name generated according to the three-mode naming rule.
And 5: and comparing the information of each element of the FPGA after the triple modular redundancy processing with the expected information of the triple modular of the element class, if the information is consistent, the triple modular redundancy processing is correct, and if the information is inconsistent, the triple modular redundancy processing is wrong. Incorrect information can be printed into a result file, and the user can check the result of the comparison and track the problem through the result file.
The invention also provides a device for verifying the correctness of the netlist file after the trimodal redundancy processing, which comprises the following modules:
a file input module: the device is used for acquiring a synthesized netlist file, a three-mode configuration file and a three-mode netlist file generated after three modes;
an analysis module: the device is used for analyzing the synthesized netlist file to obtain information of each element after synthesis and signal connection relation among the elements, and analyzing the three-mode netlist file to obtain information tables of each element after three-mode redundancy processing;
a three-mode configuration mode generation module: the three-mode configuration mode is used for obtaining the three-mode configuration mode of each element according to the three-mode configuration file;
a class three-mode information generation module: the device is used for backing up the integrated information of each element according to the three-mode configuration mode and the three-mode configuration rule of each element and the element information processed by the three-mode redundancy processing to generate the three-mode expected information of each element class;
a comparison module: the FPGA three-module redundancy processing module is used for comparing each element information of the FPGA after three-module redundancy processing with each element type three-module expected information generated by the type three-module information generating module, if the element information is consistent with the type three-module expected information, the three-module redundancy processing is correct, and if the element information is inconsistent with the type three-module expected information, the three-module redundancy processing is wrong.
Finally, it should be noted that: the above embodiments are only used to illustrate the technical solution of the present invention, and not to limit the same; while the invention has been described in detail and with reference to the foregoing embodiments, it will be understood by those skilled in the art that: the technical solutions described in the foregoing embodiments may still be modified, or some or all of the technical features may be equivalently replaced; and the modifications or the substitutions do not make the essence of the corresponding technical solutions depart from the scope of the technical solutions of the embodiments of the present invention.
Claims (10)
1. A netlist file correctness verification method after triple modular redundancy processing is characterized by comprising the following steps:
step 1: acquiring a synthesized netlist file, a three-mode configuration file and a three-mode netlist file generated after three-mode;
step 2: analyzing the synthesized netlist file to obtain information of each synthesized element and a signal connection relation between the elements, and analyzing the tri-mode netlist file to obtain an information table of each element after the tri-mode redundancy processing;
and step 3: obtaining a three-mode configuration mode of each element according to the three-mode configuration file;
and 4, step 4: generating the integrated information of each element into the expected information of each element type according to the three-mode configuration mode and the three-mode configuration rule of each element and the element information in each element information table after the three-mode redundancy processing;
and 5: and comparing the information of each element of the FPGA after the triple modular redundancy processing with the three-modular expected information of each element type, if the information is consistent, the triple modular redundancy processing is correct, and if the information is inconsistent, the triple modular redundancy processing is wrong.
2. The authentication method according to claim 1, wherein the component information includes a component name, input port and input port connection signals, output port and output port connection signals, and configuration attributes of the component.
3. The authentication method according to claim 2, wherein the three-mode configuration rule is:
when the three-mode configuration mode of the element is Standard, performing three backup on the element information;
when the three-mode configuration mode of the element is simplified _ unvorted, performing three backups on the element information;
when the three-mode configuration mode of the element is Triple-rated, performing three backups on the element information;
when the three-mode configuration mode of the element is Double-Voted, carrying out two backups on the element information;
when the three-mode configuration mode of the element is Don't Touch, the element information is not processed, and the original information of the element is kept;
when the three-mode configuration mode of the element is conversion, the element information is not processed, and the original information of the element is kept;
when the element is a starting point element of a signal and the three-mode configuration mode of the element is Standard, if the three-mode configuration mode of the terminal point element of the signal is conversion, a voting element is added to each output port connection signal of the starting point element;
when the element is a starting point element of a signal and the three-mode configuration mode of the element is Standard, if the three-mode configuration mode of a terminal element of the signal is Triple-rated or Double-rated and the signal of the starting point element connected to the terminal element is input port datain of the terminal element, a voting element is added to each output port connection signal of the starting point element.
4. The authentication method according to claim 3, wherein said end point component is obtained by judging a direction of a signal based on a signal connection relationship between components.
5. The verification method according to claim 2, wherein the integrated component information and the signal connection relationship between components, the component information after the triple modular redundancy processing, and the triple modular expected information of each component type generated in step 2 are stored in a database to form an integrated component information table, an integrated component signal connection relationship table, a triple modular component information table, and a component triple modular expected information table, respectively.
6. The verification method according to claim 5, wherein the method of generating the three-mode desired information of each component class from the integrated component information according to the component information in the component information tables after the three-mode redundancy processing based on the three-mode configuration mode and the three-mode configuration rule is:
traversing each element in the integrated element information table,
when the three-mode configuration mode of the element does not need to process the element information according to the three-mode configuration rule, backing up the element information into an element type three-mode expected information table, and keeping the original information unchanged;
when the three-mode configuration mode of the element needs to be backed up according to the three-mode configuration rule, backing up the element information into an element type three-mode expected information table according to the backup number, naming the names of a plurality of backup elements newly backed up by the element according to the naming rule of the three-mode redundancy processing, naming the names of output port connection signals of a plurality of backup elements newly backed up according to the naming rule of the three-mode redundancy processing, and naming other information as the original element information;
when a voting element is newly added according to the requirement of a three-mode configuration rule in a three-mode configuration mode of the element, a corresponding number of voting elements are created in an element type three-mode expected information table according to the number of output port connection signals of the element, the names of the voting elements are named according to the naming rule of three-mode redundancy processing, the input port connection signals of the voting elements are respectively connected with the output port connection signals of three backup elements after three backup of the element, the output port of the voting element is a logic output port, and the attribute value of the voting element are preset fixed values.
7. The verification method according to claim 6, wherein a signal correspondence table is newly added, and the output port connection signal of each element in the integrated element information table is made to correspond to the output port connection signal of each element in the element class three-mode expectation information table generated according to the three-mode configuration rule.
8. The authentication method according to claim 7, wherein the input port connection signal of each element in the element class three-mode information table is updated based on the signal correspondence table.
9. The authentication method according to claim 8, wherein the method of updating the input port connection signal of each element in the element class three-mode information table is:
if the input port connection signal of the element in the element class three-mode expected information table only has one piece of corresponding data in the signal corresponding table, replacing the input port connection signal with a corresponding new signal name in the signal corresponding table;
if the input port connection signal has more than one corresponding data in the signal correspondence table:
judging whether the element is a newly added three-mode backup element according to the naming rule of the element name, and if the element is the newly added three-mode backup element, replacing an input port connection signal of the backup element with a corresponding new signal name in a signal corresponding table;
and if the input port connection signal does not contain the voting signal, replacing the input port connection signal with a table decision signal, and if the input port connection signal does not contain the voting signal, replacing the input port connection signal with the first new signal name generated according to the three-mode naming rule.
10. The device for verifying the correctness of the netlist file after the trimodal redundancy processing is characterized by comprising the following modules:
a file input module: the device is used for acquiring a synthesized netlist file, a three-mode configuration file and a three-mode netlist file generated after three modes;
an analysis module: the device is used for analyzing the synthesized netlist file to obtain information of each element after synthesis and signal connection relation among the elements, and analyzing the three-mode netlist file to obtain information tables of each element after three-mode redundancy processing;
a three-mode configuration mode generation module: the three-mode configuration mode is used for obtaining the three-mode configuration mode of each element according to the three-mode configuration file;
a class three-mode information generation module: the device is used for backing up the integrated information of each element according to the triple-modular configuration mode and the triple-modular configuration rule of each element and the element information in each element information table after triple-modular redundancy processing to generate the triple-modular expected information of each element class;
a comparison module: the FPGA three-module redundancy processing module is used for comparing each element information of the FPGA after three-module redundancy processing with each element type three-module expected information generated by the type three-module information generating module, if the element information is consistent with the type three-module expected information, the three-module redundancy processing is correct, and if the element information is inconsistent with the type three-module expected information, the three-module redundancy processing is wrong.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111575828.6A CN113962176B (en) | 2021-12-22 | 2021-12-22 | Method and device for verifying correctness of netlist file subjected to triple modular redundancy processing |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111575828.6A CN113962176B (en) | 2021-12-22 | 2021-12-22 | Method and device for verifying correctness of netlist file subjected to triple modular redundancy processing |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN113962176A CN113962176A (en) | 2022-01-21 |
| CN113962176B true CN113962176B (en) | 2022-03-01 |
Family
ID=79473644
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202111575828.6A Active CN113962176B (en) | 2021-12-22 | 2021-12-22 | Method and device for verifying correctness of netlist file subjected to triple modular redundancy processing |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN113962176B (en) |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102598001A (en) * | 2009-10-16 | 2012-07-18 | 国际商业机器公司 | Techniques for analysis of logic designs with transient logic |
| CN113343613A (en) * | 2020-02-18 | 2021-09-03 | 美商新思科技有限公司 | Engineering change commands that take into account adversely affected constraints |
Family Cites Families (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7036059B1 (en) * | 2001-02-14 | 2006-04-25 | Xilinx, Inc. | Techniques for mitigating, detecting and correcting single event upset effects in systems using SRAM-based field programmable gate arrays |
| US20150045936A1 (en) * | 2013-08-08 | 2015-02-12 | General Electric Company | System and method for modular controller assembly supporting redundant configurations |
| CN103530207A (en) * | 2013-09-24 | 2014-01-22 | 北京京航计算通讯研究所 | Method for verifying triplication redundancy measure |
| CN105956302B (en) * | 2016-05-10 | 2019-07-12 | 北京控制工程研究所 | A kind of configurable anti-radiation chip front end netlist automatic generation method |
| CN106445748B (en) * | 2016-09-27 | 2019-01-04 | 中国科学院空间应用工程与技术中心 | A kind of triplication redundancy verification method |
| CN111400169B (en) * | 2020-02-25 | 2023-04-18 | 中科亿海微电子科技（苏州）有限公司 | Method and system for automatically generating netlist file for testing software and hardware |
-
2021
- 2021-12-22 CN CN202111575828.6A patent/CN113962176B/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102598001A (en) * | 2009-10-16 | 2012-07-18 | 国际商业机器公司 | Techniques for analysis of logic designs with transient logic |
| CN113343613A (en) * | 2020-02-18 | 2021-09-03 | 美商新思科技有限公司 | Engineering change commands that take into account adversely affected constraints |
Also Published As
| Publication number | Publication date |
|---|---|
| CN113962176A (en) | 2022-01-21 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110941546A (en) | Automatic test method, device, equipment and storage medium for WEB page case | |
| CN110781231B (en) | Database-based batch import method, device, equipment and storage medium | |
| CN106446412A (en) | Model-based test method for avionics systems | |
| CN113536718B (en) | Method and device for verifying correctness of gate-level simulation netlist file | |
| Huang et al. | Errortracer: Design error diagnosis based on fault simulation techniques | |
| CN111274056B (en) | Self-learning method and device for fault library of intelligent electric energy meter | |
| CN113962176B (en) | Method and device for verifying correctness of netlist file subjected to triple modular redundancy processing | |
| Pomeranz et al. | On error correction in macro-based circuits | |
| Huang et al. | Fault-simulation based design error diagnosis for sequential circuits | |
| CN113868035B (en) | Automatic LTP performance test method and device | |
| CN114936150A (en) | Big data stream synchronization and monitoring test method, device and storage medium | |
| CN114661531A (en) | Fine-grained self-repairing circuit and method for FPGA | |
| CN108363567B (en) | Database-based verification platform exciter automatic generation method | |
| CN109374038B (en) | Change test method of nuclear security level instrument control product based on application prototype | |
| US10268786B2 (en) | System and method for capturing transaction specific stage-wise log data | |
| CN111459809A (en) | Software testing method based on rapid demand version iteration | |
| US7581150B2 (en) | Methods and computer program products for debugging clock-related scan testing failures of integrated circuits | |
| CN112542200B (en) | Method and device for checking power-on parameters of nonvolatile flash memory, storage medium and terminal | |
| Schneider et al. | Formal verification of abstract system and protocol specifications | |
| CN112256554B (en) | Method and equipment for testing based on scene test cases | |
| CN116048871A (en) | Automatic verification method and device for SSD equipment, computer equipment and storage medium | |
| CN112579439A (en) | Formal verification method based on display control system | |
| CN117093475A (en) | Test data generation method, system, server and computer readable storage medium | |
| CN110162438A (en) | Artificial debugging device and emulation debugging method | |
| CN114065686A (en) | Parameterized cell circuit establishing method, standard cell circuit replacing method and device |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |