TY JOUR TI EXPERIENCE OF FUNCTIONAL VERIFICATION OF THE BLOCK OF A MODERN CHIP KW the functional verification KW system on a crystal KW the microprocessor KW the specification KW the program. JO Modeling of systems and processes AU Konarev, M.. PY 2016 IS 9 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov