Анализ методов формальной верификации и тестирования на различных этапах разработки цифровых систем
Авторы:
Аннотация:
Рассмотрены задачи и типовые методики формальной верификации цифровых систем на различных этапах проектирования. Предложен подход к сокращению разрыва между эвристическим тестированием и формальными методами.