| DC Field | Value | Language |
|---|
| dc.contributor.author | Черемисинова, Л. Д. | - |
| dc.contributor.author | Черемисинов, Д. И. | - |
| dc.date.accessioned | 2020-11-27T06:58:40Z | - |
| dc.date.available | 2020-11-27T06:58:40Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.citation | Черемисинова, Л. Д. Верификация логических КМОП схем, устойчивых к мягким отказам / Черемисинова Л. Д., Черемисинов Д. И. // Информационные технологии и системы 2020 (ИТС 2020) = Information Teсhnologies and Systems 2020 (ITS 2020) : материалы международной научной конференции, Минск, 18 ноября 2020 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2020. – С. 209–210. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/41318 | - |
| dc.description.abstract | Рассматривается задача, возникающая при верификации топологии КМОП заказных СБИС. Верификация
топологии включает в себя экстракцию (восстановление) электрической схемы из описания топологии и
ее сравнение с описанием, исходным для логического синтеза. Предлагается метод верификации экстагированных КМОП схем, устойчивых к мягким отказам. | 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.title | Верификация логических КМОП схем, устойчивых к мягким отказам | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2020
|
