Statistical method and device of programmable-logic simulation test function coverage

Abstract

The invention belongs to the technical field of safety level instrument control system simulation tests, aims to solve the technical problem that simulation test function coverage in the prior art cannot be accurately obtained, and provides a statistical method and device which can effectively increase programmable-logic simulation test function coverage. The statistical method includes: S1, carrying out formalized description on demand items in an HPD (HDL (hardware description language)-programmed device) demand specification book, and establishing a unique number for each demand item according to a predetermined coding rule; S2, establishing a tracking matrix of a to-be-tested system; S3, writing SVA (System Verilog Assertion) code corresponding to each test passing criterion in test regulations; and S4, automatically generating a test result through SVA after execution is completed according to test excitation corresponding to test cases. The function coverage can be visually represented through adding effective tracking and monitoring on a coding link in a simulation test process, and the simulation test process of programmable logic is enabled to be more rigorous and more accord with a requirement of high reliability.

Description

technical field [0001] The invention relates to the technical field of simulation testing of safety-level instrumentation and control systems, in particular to a statistical method and device for the coverage rate of programmable logic simulation testing functions. Background technique [0002] In some industries that require high reliability and safety, such as nuclear, military, aerospace and other fields, the integrity and reliability of the test are very important. In the prior art, the usual statistical method is to itemize requirements, design, testing and other links, and establish a top-down tracking relationship to ensure the consistency from requirements to final deliverables. [0003] For example, HPD (the abbreviation of HDL-programmed device, that is, HDL programmable device; and HDL is the abbreviation of hardware description language, translated into Chinese as hardware description language) white box verification methods mainly include simulation testing and ...

AI Technical Summary

Problems solved by technology

[0006] In order to solve the technical problem that the coverage rate of the simulation test function in the prior art cannot be accurately obtained, the purpose of the present invention is to provide a statistical method and device for effectively improving the coverage rate of the programmable logic simulation test function, which can increase the Effectively track and monitor the coding link, and formally describe the HPD requirements (design) items, so as to intuitively reflect the functional coverage, and make the simulation test process of programmable logic more rigorous and more in line with the requirements of high reliability

Images