Использование в учебном процессе отечественной системы автоматизированного проектирования (САПР) "Ковчег"
Автор: Тюрин С.Ф., Каменских А.Н., Зобнина О.А.
Журнал: Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 2 (41), 2018 года.
Бесплатный доступ
Анализируются возможности использования в учебном процессе по дисциплинам "Математическая логика", "Алгоритмы и анализ сложности", "Дискретная математика", "Схемотехника отечественной системы автоматизированного проектирования (САПР) "Ковчег"", разработанной в техническом центре Московского института электронной техники (МИЭТ), и ориентированной на полузаказную реализацию цифровых устройств на основе базовых матричных кристаллов (БМК). Актуальность внедрения в учебный процесс вызвана важнейшими задачами импортозамещения электронной элементной базы и требованиями перехода на отечественное программное обеспечение. Рассматривается пример синтеза простого автомата, который может быть использован на практических и лабораторных занятиях, а также в самостоятельной работе студентов.
Конечный автомат, сапр, моделирование, базовый матричный кристалл
Короткий адрес: https://sciup.org/147245377
IDR: 147245377 | УДК: 681.32 | DOI: 10.17072/1993-0550-2018-2-75-79
Using the domestic CAD "Ark" in the educational process
The article deals with the possibilities of using the domestic CAD "Ark" in practical classes on disciplines Mathematical logic, Algorithms and complexity analysis, Discrete mathematics, Circuitry. The system was developed in the technical center of the Moscow Institute of Electronic Technology and is focused on semi-sales of digital devices based on Uncommitted Logic Array (ULA). The urgent need for its introduction in the educational process is caused by the most important tasks of import substitution of the electronic element base and the requirements of using domestic software. The paper considers an example of the synthesis of a simple finite state machine which can be used in practical and laboratory studies, as well as in the independent work of students.
Список литературы Использование в учебном процессе отечественной системы автоматизированного проектирования (САПР) "Ковчег"
- Сайт микросхем заказных и полузаказных больших интегральных схем 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.
