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