Семинар был посвящен обсуждению результатов опытно-конструкторской разработки тестовой системы для HDL-устройства data box (коммутатор данных северного моста), выполненной специалистами ИСП РАН по заказу ЗАО "МЦСТ". Разработка ставила целью оценку возможностей метода верификации на базе технологии UniTesk с точки зрения его применения в проектах ЗАО "МЦСТ" по созданию нового поколения высокопроизводительных российских микропроцессоров.
В докладе А.С. Камкина и М.М.Чупилко подробно характеризовался полный цикл разработки тестовой системы, начиная с анализа требований и написания спецификаций в терминах пред- и пост-условий и заканчивая созданием и прогоном тестовых сценариев. Для каждого этапа были приведены подробные примеры, основанные на результатах выполненной ОКР. При обсуждении доклада основное внимание уделялось оценке функционального покрытия, реализуемого тестовыми сценариями, и возможные улучшения отдельных этапов создания тестовых систем в будущих проектах.
Методы верификации, основанные на технологии UniTesk, планируется использовать в будущих проектах ЗАО «МЦСТ.