Работа представляет собой сравнительный анализ современных подходов к имитационной верификации (тестирования) моделей аппаратуры: AVM (Advanced Verification Methodology) от компании Mentor Graphics, OVM (Open Verification Methodology) - совместной разработки Mentor Graphics и Cadence Design Systems - и технологии UniTESK (Unified TEsting and Specification tool Kit), разработанной в Институте Системного Программирования РАН. В статье анализируются сильные и слабые стороны различных подходов, сопоставляются архитектуры тестовых систем, даются рекомендации по развитию технологии UniTESK и ее унификации с методологией OVM, набирающей все большее распространение и претендующей на то, чтобы стать стандартом в области верификации аппаратного обеспечения.
展开▼