Методы и средства проектирования систем на кристалле Верификация проекта и разработки