Совместное заседание спецсеминаров «Теория управляющих систем и математические модели СБИС» и «Некоторые вопросы теории управляющих систем»
(для студентов 3, 4 курса, магистров, аспирантов)
Пройдет в пятницу 27 октября, с 16.20 до 17.55 в аудитории 508
На нем состоится доклад Автайкиной Марии по статье “Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction”
Аннотация доклада:
В ходе доклада будут рассмотрены некоторые подходы к решению задач поверки эквивалентности и функциональной коррекции СФЭ. Будут предложены алгоритмы, использующие принцип динамического программирования, с целью понижения сложности решаемых задач для схем большого размера.
Литература:
- Shupletsov Mikhail, Avtaikina Mariya. Dynamic programming algorithms for large-scale equivalence checking and functional correction. 2017 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), pp. 1032 - 1035
