Post vlog again

              verification method Overview of the development of SoC design verification technology Zhang Zhimin Fu Liang Abstract This article analyzes the importance and research content of SoC design verification, specifically explains the functional verification content, functional verification methodology, formal verification, timing verification and physical verification, focusing on IP verification, system level Verification, simulation, FPGA verification and various verification methods, and points out the development direction of design verification technology and design verification platform. Keywords SoC design, design verification technology, verification methodology 61 Introduction With the rapid development of process capabilities and design capabilities, in order to meet the requirements of the embedded system market for cost, function and power consumption, SoC (System on-a-Chip) Design technology has become a development trend. As we all know, in the development process of integrated circuits so far, Moore\'s Law (the number of transistors that can be integrated on a single chip doubles every 18 months) has been operating. Therefore, the size and functionality of SoCs continue to expand rapidly, making design verification It is becoming increasingly important, posing huge challenges to the industry, and has become the bottleneck of the entire SoC design process [1]. At present, the success rate of one-time chip casting is only about 35%. The main reason for repeated chip casting is insufficient verification. The resources required to verify SoC design have accounted for 60% to 80% of the entire design resources. When VSIA[1] held a verification seminar in 1999, many world-class verification experts concluded that verification is difficult (hard). A few weeks later, they corrected the conclusion to \"Verification is not hard, it is veryhard\". . There is now a growing consensus that a single design tool cannot solve verification problems, and a series of complex tools and techniques are needed to reduce the number of design errors to an acceptable level. After 6 or 7 years of development, SoC has a broad market. The field of SoC verification research has made great progress in verification technology, verification methodology, test code extraction, verification description language, IP core reuse verification, verification process and verification evaluation. But overall verification technology has…