https://libeldoc.bsuir.by/handle/123456789/3030| Title: | Верификация проектов и построение тестов контроля СБИС на уровне RTL |
| Authors: | Золоторевич, Л. А. |
| Keywords: | материалы конференций;ИТС;доклады;верификация проектов;СБИС;проектирование СБИС;тесты контроля СБИС |
| Issue Date: | 2011 |
| Publisher: | БГУИР |
| Citation: | Золоторевич, Л. А. Верификация проектов и построение тестов контроля СБИС на уровне RTL / Л. А. Золотаревич // Информационные технологии и системы 2011 (ИТС 2011) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 26 октября 2011 г. = Information Technologies and Systems 2011 (ITS 2011) : Proceeding of The International Conference, BSUIR, Minsk, 26th October 2011 / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск, 2011. – C. 8–13. |
| Abstract: | Рассматриваются особенности верификации проектов и построения тестов контроля цифровых устройств и систем, описанных на языке VHDL. Предлагается метод верификации проектов и направленного построения тестов контроля сверхбольших сложнофункциональных интегральных схем, представленных на уровне межрегистровых передач на языке VHDL. Метод основан на описании операций объекта функциями разрешения и сведении задачи к решению КНФ – выполнимости полученной системы булевых функций. Решается также задача верификации проектов на уровне RTL путем моделирования системы на заданном тесте. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/3030 |
| ISBN: | 978-985-488-816-3 |
| Appears in Collections: | ИТС 2011 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Zolotorevich_Verifikatsiya.PDF | 619.79 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.