With the development of integrated circuit industry, the complexity of integrated circuit chip design is becoming higher and higher, and the difficulty of verification is increasing exponentially. Verifying that the RTL description is as expected has become an increasingly important part of the modern integrated circuit industry. Compared with the traditional dynamic simulation verification, formal verification belongs to static verification, and it does not need manual inputting excitation, and can achieve the advantages of 100% coverage. This paper mainly introduces the status of formal verification, what formal verification is, the prospect of formal verification in the future, and provides a formal verification tool (VC Formal DPV) application practice model and several practical methods to significantly optimize its performance by taking the divider as an example.
With the development of chip design technology, the complexity of the chip is getting bigger and bigger, and various IP (Intellectual Property) is integrated to form SoC (System on Chip). In order to improve the efficiency of designing SoC, IP reuse technology is often used, so the development of IP has a wide range of significance and use value. The SPI bus is a bus protocol often used in chip communication and has many application scenarios. Therefore, this research mainly develops the SPI bus IP. During the development process, the SPI bus design is carried out, then based on the UVM verification methodology the designed IP has been functionally verified, and finally, a fully functional SPI bus design is obtained.
Magnetic suspension and magnetic suspension motor control technology have developed with the development of magnetic suspension technology .In recent years,researchs on magnetic suspension and magnetic suspension motor control technology are getting more and more active, and have made a lot of satisfactory achievement. This article systemically summarizes research achievement and current status all these years on magnetic suspension and magnetic suspension
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.