Моделирование и верификация цифровых систем на языке VHDL
От производителя
В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. В книгу включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании.Для студентов, магистрантов и аспирантов, изучающих языки VHDL и PSL и их применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых систем.
Что объединяет эти статьи? Прежде всего то, что они вместе с другими статьям составят «Справочник технического писателя». Справочник, в котором совместно анализируются стандарты разных систем – ГОСТ 2, ГОСТ 34, ГОСТ 19 и др.,
используемые техническими писателями при разработке текстовых документов.
Результатами такого анализа станут предложения по корректировке действующих стандартов (см. статью ««Обозначение программных документов. Предложения по изменению стандартов») или же приглашение к обсуждению тех или иных вопросов, как это сделано в статье «Стадии разработки».
По мнению автора справочника, совместный анализ стандартов разных систем позволит не допускать расширенного толкования одних и тех же понятий, корректно использовать техническую терминологию, а также исключить противоречия в правилах выполнения текстовых документов в разных системах стандартов.
Задача словарных статей «Справочника технического писателя» не повторять тексты тех или иных стандартов, а рассмотреть стандарты разных систем, взглядом специалиста, применяющего их при подготовке технической документации.
Статьи этого справочника предназначены для технических писателей, нормоконтролеров, работников ОТК, а также всех, кто тем или иным образом связан с разработкой, оформлением согласованием и утверждением текстовой документации.