Электроника НТБ #3/2019
Ж.-Ф. Бинуа, С. Белоусов, Ю. Ковалевский
Средства статической верификации SpyGlass и VC LP: поиск ошибок на уровне RTL
Приводятся назначение и некоторые возможности средств статической верификации SpyGlass и VC LP от компании Synopsys в приложении к их применению на уровне RTL с целью выявления ошибок в проектах СБИС на ранних стадиях процесса разработки. DOI: 10.22184/1992-4178.2019.184.3.98.103 УДК 004.4'233:621.3.049.774 | ВАК 05.13.12