https://libeldoc.bsuir.by/handle/123456789/26816| Title: | Задачи верификации логических описаний комбинационных устройств |
| Authors: | Черемисинова, Л. Д. Новиков, Д. Я. |
| Keywords: | верификация цифровых устройств;комбинационные устройства;материалы конференций;доклады;верификация;верификация комбинационных устройств |
| Issue Date: | 2013 |
| Publisher: | БГУИР |
| Citation: | Черемисинова, Л. Д. Задачи верификации логических описаний комбинационных устройств / Л. Д. Черемисинова, Д. Я. Новиков // Информационные технологии и системы 2013 (ИТС 2013) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 23 октября 2013 г. = Information Technologies and Systems 2013 (ITS 2013) : Proceeding of The International Conference, BSUIR, Minsk, 24th October 2013 / редкол.: Л. Ю. Шилин [и др.]. - Минск : БГУИР, 2013. – C. 178-179. |
| Abstract: | Описывается комплекс задач, являющихся базисными при верификации логических описаний комбинационных устройств при наличии функциональной неопределенности. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26816 |
| Appears in Collections: | ИТС 2013 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Cheremisinova_Zadachi.PDF | 452.58 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.