Использование в учебном процессе отечественной системы автоматизированного проектирования (САПР) "Ковчег"
Автор: Тюрин С.Ф., Каменских А.Н., Зобнина О.А.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 2 (41), 2018 года.
Бесплатный доступ
Анализируются возможности использования в учебном процессе по дисциплинам "Математическая логика", "Алгоритмы и анализ сложности", "Дискретная математика", "Схемотехника отечественной системы автоматизированного проектирования (САПР) "Ковчег"", разработанной в техническом центре Московского института электронной техники (МИЭТ), и ориентированной на полузаказную реализацию цифровых устройств на основе базовых матричных кристаллов (БМК). Актуальность внедрения в учебный процесс вызвана важнейшими задачами импортозамещения электронной элементной базы и требованиями перехода на отечественное программное обеспечение. Рассматривается пример синтеза простого автомата, который может быть использован на практических и лабораторных занятиях, а также в самостоятельной работе студентов.
Конечный автомат, сапр, моделирование, базовый матричный кристалл
Короткий адрес: https://sciup.org/147245377
IDR: 147245377 | DOI: 10.17072/1993-0550-2018-2-75-79
Список литературы Использование в учебном процессе отечественной системы автоматизированного проектирования (САПР) "Ковчег"
- Сайт микросхем заказных и полузаказных больших интегральных схем ASIC. URL: http://asic.ru (дата обращения: 27.04.18).
- Гаврилов С.В., Денисов А.Н., Коняхин В.В., Макарцева М.М. САПР "Ковчег 3.0" для проектирования микросхем на БМК серий 5503, 5507, 5521 и 5529. М.: 2013. 295 с.
- Денисов А.Н., Фомин Ю.П., Коняхин В.В., Федоров Р.А. Библиотека функциональных ячеек для проектирования полузаказных микросхем серий 5503 и 5507 / под общ. ред. А.Н. Саурова. М: Техносфера, 2012. 304 с.
- Степченков Ю.А., Денисов А.Н., Дьяченко Ю.Г., Гринфельд Ф.И., Филимоненко О.П., Морозов Н.В., Степченков Д.Ю. Библиотека элементов для проектирования самосинхронных полузаказных БМК микросхем серий 5503/5507 М.: ИПИ РАН, 2014. 296 с.
- Партнеры отдела 22 ИПИ РАН по разработке самосинхронной схемотехники. URL: http://selftiming.ru/partners/ (дата обращения: 27.04.18).
- Carl Carmichael. Triple Module Redundancy Design Techniques for Virtex FPGAs. Available at: https://www.xilinx.com/support/documentati on/application_notes/xapp197.pdf (accessed 30.04.2018).
- Гладышева П.В. Разработка программы автоматизированного синтеза цифровых комбинационных схем в функционально-полном толерантном базисе и в остаточных базисах. Выпускная работа. Пермь: ПГУ, 2010. 102 с.
- Шучалов П.С. Разработка программы автоматизированного синтеза цифровых комбинационных схем в функционально-полном толерантном базисе. Выпускная работа. Пермь: ПГУ, 2011. 96 с.
- Валеев Д.Р. Программа автоматизированного синтеза комбинационной схемы по заданной схеме алгоритма // Автоматизированные системы управления и информационные технологии: сб. докл. всеросс. науч.-техн. конф. (г. Пермь, 15 мая 2015 г.). Пермь, 2015. С. 150-157.
