https://libeldoc.bsuir.by/handle/123456789/41318| Title: | Верификация логических КМОП схем, устойчивых к мягким отказам |
| Authors: | Черемисинова, Л. Д. Черемисинов, Д. И. |
| Keywords: | материалы конференций;КМОП схемы;логические схемы;верификация |
| Issue Date: | 2020 |
| Publisher: | БГУИР |
| Citation: | Черемисинова, Л. Д. Верификация логических КМОП схем, устойчивых к мягким отказам / Черемисинова Л. Д., Черемисинов Д. И. // Информационные технологии и системы 2020 (ИТС 2020) = Information Teсhnologies and Systems 2020 (ITS 2020) : материалы международной научной конференции, Минск, 18 ноября 2020 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2020. – С. 209–210. |
| Abstract: | Рассматривается задача, возникающая при верификации топологии КМОП заказных СБИС. Верификация топологии включает в себя экстракцию (восстановление) электрической схемы из описания топологии и ее сравнение с описанием, исходным для логического синтеза. Предлагается метод верификации экстагированных КМОП схем, устойчивых к мягким отказам. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/41318 |
| Appears in Collections: | ИТС 2020 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Cheremisinova_Verifikatsiya.pdf | 270.35 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.