PPT - Современные методы функциональной верификации RTL-моделей блоков СБИС микр Верификация проекта и разработки