| DC Field | Value | Language |
|---|
| dc.contributor.author | Золоторевич, Л. А. | - |
| dc.contributor.author | Горячкин, В. В. | - |
| dc.contributor.author | Соболева, Т. В. | - |
| dc.date.accessioned | 2015-02-27T07:04:27Z | |
| dc.date.accessioned | 2017-07-19T08:25:11Z | - |
| dc.date.available | 2015-02-27T07:04:27Z | |
| dc.date.available | 2017-07-19T08:25:11Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.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. | ru_RU |
| dc.identifier.isbn | 978-985-488-816-3 | - |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/3371 | - |
| dc.description.abstract | Рассматриваются особенности построения тестов контроля цифровых устройств и систем, описанных на языке VHDL, на начальных этапах
проектирования. Предлагается метод верификации проектов и направленного построения тестов контроля сверхбольших сложно-функциональных интегральных схем, представленных на уровне межрегистровых
передач. Метод основан на описании объекта функциями разрешения и сведении задачи к решению КНФ-выполнимости. Решается также задача верификации проектов на уровне RTL путем моделирования на известном тесте. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | цифровые устройства | ru_RU |
| dc.subject | тестирование цифровых устройств | ru_RU |
| dc.subject | СБИС | ru_RU |
| dc.subject | тесты контроля СБИС | ru_RU |
| dc.subject | КНФ-выполнимость | ru_RU |
| dc.subject | VHDL | ru_RU |
| dc.subject | верификация | ru_RU |
| dc.title | Тестовое диагностирование цифровых устройств компьютерных сетей | ru_RU |
| dc.type | Article | ru_RU |
| Appears in Collections: | ИТС 2011
|
