SYSTEMVERILOG УТВЕРЖДЕНИЯ В SYSTEMVERILOG-2009

Автор(ы): Яицкова Галина Александровна

Рубрика: Информационные технологии

Выпуск: 2014-2 (5)

Страницы: 51-59

Ключевые слова: Утверждение, Последовательность, Свойство, Синхронизирующая последовательность

Аннотация: Заключительной, третьей частью работ по обзору конструкций языка SystemVerilog-2009, предназначенных для систематической верификации проектов, является описание набора конструкций и способов их применения, основанных на утверждениях (assertions). Информационная безопасность проекта обеспечивается расширением возможностей основных конструкций языка проектирования и конструкций, связанных с верификацией, поскольку имеется в виду проектирование очень сложных объектов, включающих IP-блоки.

Библиографическая ссылка: Яицкова Г.А. SYSTEMVERILOG УТВЕРЖДЕНИЯ В SYSTEMVERILOG-2009 // Образовательные ресурсы и технологии. – 2014. – № 2 (5). – С. 51-59. doi: