About the Peculiarities of the VLSI Verifification of the Class "System on Crystal" in the Composition of Information Systems
The article discusses the hierarchical levels of the verification process for the VLSI class "System on a crystal (SoC)", as well as information systems built on their basis. The increasing complexity of modern information systems creates additional requirements for the composition and complexity of the verification of such systems, including the early stages of their development. An approach to verification is proposed using a combination of software tools for modeling digital circuits at the lower levels of abstraction and specialized verification tools developed for a specific information system and implementing verification mainly at the system level. The proposed approach will reduce the cost of verifying the architecture of the SoC through the use of specialized software emulators and optimization of the architecture at an early stage of the project. The obtained results of the simulation at the transaction level are the basis for the development of the SoC at the register transfer level. It is expected to increase the productivity of the development of complex SoC, developed with the capabilities of modern technological processes with standards of 28 nm or better.