https://libeldoc.bsuir.by/handle/123456789/3057| Название: | SAT based approaches to verification of logical descriptions with functional indeterminacy |
| Авторы: | Cheremisinova, L. D. Черемисинова Л. Д. |
| Ключевые слова: | материалы конференций;design automation;verification;testing |
| Дата публикации: | 2012 |
| Издательство: | БГУИР |
| Описание: | Cheremisinova, L. D. SAT based approaches to verification of logical descriptions with functional indeterminacy / L. D. Cheremisinova // Информационные технологии и системы 2012 (ИТС 2012) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 24 октября 2012 г. = Information Technologies and Systems 2012 (ITS 2012) : Proceeding of The International Conference, BSUIR, Minsk, 24th October 2012 / редкол. : Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2012. – C. 182–183. |
| Аннотация: | The problem under consideration is to check whether a given system of incompletely specified Boolean functions is implemented by a logical description with functional indeterminacy that is represented by a system of connected blocks each of which is specified by a system of completely or incompletely specified Boolean functions. SAT based verification methods are considered that formulate the verification problem as checking satisfiability of a conjunctive normal form. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/3057 |
| ISBN: | 978-985-488-926-9 |
| Располагается в коллекциях: | ИТС 2012 |
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| SAT based approaches.PDF | 300.75 kB | Adobe PDF | Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.