| Title: | Аппаратная реализация алгоритмов решения задачи о выполнимости КНФ |
| Authors: | Долгий, О. В. |
| Keywords: | материалы конференций;конъюнктивная нормальная форма;аппарат логических уравнений |
| Issue Date: | 2012 |
| Publisher: | БГУИР |
| Citation: | Долгий, О. В. Аппаратная реализация алгоритмов решения задачи о выполнимости КНФ / О. В. Долгий // Моделирование, компьютерное проектирование и технология производства электронных средств : материалы 48–ой научной конференции аспирантов, магистрантов и студентов, Минск, 7 – 11 мая 2012 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: М. П. Батура [и др.]. – Минск, 2012. – С. 241. |
| Abstract: | К решению задачи выполнимости сводится важная практическая задача верификации комбинационных логических схем, задачи синтеза логических схем, анализа и построения тестов для дискретных устройств. Более того, аппарат логических уравнений является достаточно универсальным, кроме перечисленных задач из области логического проектирования дискретных устройств к решению логических уравнений могут быть сведены и задачи криптоанализа. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/38967 |
| Appears in Collections: | Моделирование, компьютерное проектирование и технология производства электронных систем : материалы 48-й научной конференции аспирантов, магистрантов и студентов (2012)
|
