Библиографическое описание:Методика моделирования и верификации переключательных функций в задачах проектирования цифровых узлов / Ю. А. Пирогова, С. А. Гвозденко, Д. В. Шардаков [и др.]. - (Работы сотрудников Воронежского государственного технического университета и АО НВП "Протек" (г. Воронеж)). - Текст : непосредственный // Радиотехника. - 2021. - Т. 85, № 6. - С. 40-46. - ISSN 0033-8486.
Аннотация:Рассмотрена методика проектирования цифровых автоматов с использованием инструментов их описания на языке VHDL, который отличается от методов построения с использованием схемотехнического редактора более коротким временем построения RTL-модели. Проведено исследование произвольной переключательной функции трех переменных, заданной таблицей истинности. Построена логическая функция с использованием карты Карно с последующим синтезом RTLсхемы на основе описания на языке VHDL. Показано, что результаты моделирования полностью соответствуют исходному описанию функции, а разработанный тест-бенч позволяет формировать временные диаграммы работы цифрового узла с возможностью программной корректировки входных сигналов модели.
