SYSTEMVERILOG УТВЕРЖДЕНИЯ В SYSTEMVERILOG-2009
Автор(ы): Яицкова Галина Александровна
Рубрика: Информационные технологии
Выпуск: 2014-2 (5)
Страницы: 51-59
Ключевые слова: Утверждение, Последовательность, Свойство, Синхронизирующая последовательность
Аннотация: Заключительной, третьей частью работ по обзору конструкций языка SystemVerilog-2009, предназначенных для систематической верификации проектов, является описание набора конструкций и способов их применения, основанных на утверждениях (assertions). Информационная безопасность проекта обеспечивается расширением возможностей основных конструкций языка проектирования и конструкций, связанных с верификацией, поскольку имеется в виду проектирование очень сложных объектов, включающих IP-блоки.
Библиографическая ссылка: Яицкова Г.А. SYSTEMVERILOG УТВЕРЖДЕНИЯ В SYSTEMVERILOG-2009 // Образовательные ресурсы и технологии. – 2014. – № 2 (5). – С. 51-59. doi: