Method for verifying safety of circuit and computer readable storage medium

Abstract

The invention discloses a method for verifying the safety of a circuit and a computer readable storage medium, and belongs to the technical field of integrated circuit safety analysis. The method includes the steps that a circuit code and a circuit safety attribute are converted into a proving circuit and a first theorem to be proved respectively according to a preset circuit model; according to the proving circuit, the first theorem to be proved is proved; when the first theorem to be proved is true, it is determined that the circuit meets the circuit safety attribute. The method solves the technical problem that at the design stage of the circuit or when a third party IP is used, the safety of the circuit is low because backdoor bugs are introduced, effectively verifies the safety attribute of the circuit, and realizes the breakthrough that theorem proving is utilized for verifying the code level safety of the circuit.

Description

technical field [0001] The invention relates to the technical field of integrated circuit security analysis, in particular to a circuit security verification method and a computer-readable storage medium. Background technique [0002] With the continuous development of integrated circuit technology, the integration of a single chip is getting higher and higher, making the scale of the chip larger and larger, and the complexity of chip design is greatly increased. In order to speed up the development progress and reduce costs, chip manufacturers use a large number of reusable IP soft cores in the design process. IP soft cores are reusable modules designed by third parties and are embedded in the design at the RTL level. The design complexity The improvement and the use of third-party IP cores will lead to potential security threats to integrated circuits. The security verification of chip design code and IP soft core is code-level analysis. Various functions are relatively f...

AI Technical Summary

Problems solved by technology

[0006] In order to solve the problem in the prior art that the circuit lacks security due to the introduction of backdoor vulnerabilities during the design stage or when using third-party IP, the embodiment of the present invention provides a circuit security verification method and a computer-readable storage medium

Images