According to the technical scheme, the large-scale
logic optimization multiplier
verification method is characterized in that a four-stage pipeline
processing mode is adopted, the first stage is a partial
adder tree
recovery stage, and the second stage is a partial
adder tree
recovery stage; the second stage is an architecture generation stage; the third stage is a function
verification stage; and the fourth stage is an equivalence checking stage. The
verification capability is improved in a breakthrough manner and is far better than that of an existing method; the innovative three-stage
decomposition strategy significantly reduces the calculation complexity, the ILP
algorithm optimizes
resource allocation, the multi-stage scheduling balances the calculation load, and the QACO
algorithm efficiently explores the
design space, so that the RefSCAT-2.0 framework provided by the invention becomes the most
effective solution for verifying a large-scale
logic optimization multiplier at present. From the perspective of practice, the technical blank of large-scale
logic optimization multiplier verification is filled up, and important tool support is provided for reliability guarantee of key
computing systems such as
artificial intelligence chips, high-performance CPUs and GPUs.