Язык описания оборудования - Hardware description language

В компьютерная инженерия, а язык описания оборудования (HDL) является специализированным компьютерный язык используется для описания структуры и поведения электронные схемы, и чаще всего цифровая логика схемы.

Язык описания оборудования позволяет точно формальный описание электронной схемы, позволяющей проводить автоматизированный анализ и симуляция электронной схемы. Это также позволяет синтез описания HDL в список соединений (спецификация физических электронных компонентов и способов их соединения), которые затем могут быть размещен и направлен произвести набор масок используется для создания Интегральная схема.

Язык описания оборудования очень похож на язык программирования Такие как C или же АЛГОЛ; это текстовое описание, состоящее из выражений, утверждений и управляющих структур. Одно важное различие между большинством языков программирования и HDL состоит в том, что HDL явно включают понятие времени.

ЛПВП являются неотъемлемой частью автоматизация проектирования электроники (EDA) системы, особенно для сложных схем, таких как специализированные интегральные схемы, микропроцессоры, и программируемые логические устройства.

Мотивация

Из-за растущей сложности цифровых электронных схем с 1970-х годов (см. Закон Мура ), нужны проектировщики схем цифровая логика описания должны выполняться на высоком уровне без привязки к конкретной электронной технологии, например ECL, TTL или же CMOS. HDL были созданы для реализации уровень регистрации-передачи абстракция, модель потока данных и синхронизации цепи.[1]

Существует два основных языка описания оборудования: VHDL и Verilog. В них есть разные типы описания: «поток данных, поведенческий и структурный». Пример потока данных VHDL:

БИБЛИОТЕКА IEEE;ИСПОЛЬЗОВАТЬ IEEE.STD_LOGIC_1164.ВСЕ;ЮРИДИЧЕСКОЕ ЛИЦО not1 ЯВЛЯЕТСЯ    ПОРТ(        а : В  STD_LOGIC;        б: ИЗ STD_LOGIC;    );КОНЕЦ not1;АРХИТЕКТУРА поведенческий ИЗ not1 ЯВЛЯЕТСЯНАЧИНАТЬ    б <= НЕТ а;КОНЕЦ поведенческий;

Структура ЛПВП

HDL - это стандартные текстовые выражения структуры электронных систем и их поведения во времени. Нравиться параллельное программирование языки, синтаксис и семантика HDL включают явные обозначения для выражения параллелизм. Однако в отличие от большинства программ языки программирования, HDL также включают явное понятие времени, которое является основным атрибутом оборудования. Языки, единственной характеристикой которых является выражение связности цепей между иерархией блоков, правильно классифицируются как список соединений языки, используемые в электрических системы автоматизированного проектирования. HDL может использоваться для выражения проектов в архитектурах структурного, поведенческого или регистрового уровня для тех же функций схемы; в последних двух случаях синтезатор определяет архитектуру и расположение логических элементов.

HDL используются для написания исполняемых спецификаций для оборудования. Программа, разработанная для реализации базовой семантики языковых операторов и моделирования хода времени, предоставляет разработчику оборудования возможность моделировать часть оборудования до того, как оно будет создано физически. Именно эта исполняемость дает HDL иллюзию существования языки программирования, когда они более точно классифицируются как языки спецификации или же языки моделирования. Существуют симуляторы, способные поддерживать дискретное (цифровое) и непрерывное (аналоговое) моделирование, и доступны HDL, предназначенные для каждого из них.

Сравнение с языками управления потоком

Конечно, можно представить семантику оборудования с использованием традиционных языков программирования, таких как C ++, которые работают на поток управления семантика в отличие от поток данных, хотя, чтобы функционировать как таковая, программы должны быть дополнены обширными и громоздкими библиотеки классов. Однако, как правило, языки программирования программного обеспечения не включают никаких возможностей для явного выражения времени и, следовательно, не могут функционировать как языки описания оборудования. До введения Система Verilog в 2002, C ++ интеграция с логический симулятор был одним из немногих способов использования объектно-ориентированного программирования в аппаратной проверке. System Verilog - первый крупный HDL, предлагающий объектную ориентацию и сборку мусора.

Использование соответствующего подмножества языка описания оборудования, программы, называемой синтезатором, или инструмент логического синтеза, может выводить логические операции оборудования из операторов языка и создавать эквивалентный список соединений общих аппаратных примитивов[жаргон ] для реализации указанного поведения.[нужна цитата ] Синтезаторы обычно игнорируют выражение любых временных конструкций в тексте. Цифровые логические синтезаторы, например, обычно используют край часов как способ синхронизировать схему, игнорируя любые временные конструкции. Возможность иметь синтезируемое подмножество языка сама по себе не является языком описания оборудования.

История

Первые языки описания оборудования появились в конце 1960-х годов и выглядели как более традиционные языки.[2] Первое, что имело длительный эффект, было описано в 1971 г. в К. Гордон Белл и текст Аллена Ньюэлла Компьютерные структуры.[3] Этот текст ввел понятие зарегистрировать уровень передачи, впервые использованный на языке ISP для описания поведения Корпорация цифрового оборудования (DEC) PDP-8.[4]

Этот язык получил более широкое распространение с появлением модулей RT-уровня DEC PDP-16 (RTM) и книги, описывающей их использование.[5]Затем последовали как минимум две реализации основного языка ISP (ISPL и ISPS).[6][7]ISPS хорошо подходила для описания отношений между входами и выходами дизайна и была быстро принята коммерческими группами в DEC, а также рядом исследовательских групп как в США, так и среди их союзников по НАТО.

Продукты RTM так и не получили коммерческого распространения, и DEC прекратила продавать их в середине 1980-х годов в качестве новых технологий и, в частности, очень крупномасштабная интеграция (СБИС) стали более популярными.

Отдельные работы выполнены около 1979 г. Кайзерслаутернский университет разработал язык под названием KARL ("KAiserslautern Register Transfer Language"), который включал в себя функции языка расчетного проектирования, поддерживающие планирование этажей микросхем СБИС.[жаргон ] и структурированный дизайн оборудования. Эта работа также легла в основу интерактивного графического родственного языка KARL ABL, название которого было инициализм для «Язык блок-схем».[8] ABL была внедрена в начале 1980-х годов Centro Studi e Laboratori Telecomunicazioni (CSELT ) в Турине, Италия, на производстве графического редактора дизайна СБИС ABLED. В середине 1980-х годов международный консорциум, финансируемый Комиссией Европейского Союза, внедрил структуру проектирования СБИС вокруг KARL и ABL.[9]

К концу 1970-х годов дизайн с использованием программируемые логические устройства (PLD) стали популярными, хотя эти конструкции в основном ограничивались проектированием конечные автоматы. Работа на Общие данные в 1980 году использовали эти же устройства для разработки Данные General Eclipse MV / 8000, и начала расти коммерческая потребность в языке, который мог бы хорошо им соответствовать. К 1983 г. Ввод / вывод данных представил ABEL, чтобы удовлетворить эту потребность.

Поскольку дизайн перешел на СБИС, первый современный HDL, Verilog, был представлен Автоматизация проектирования шлюзов в 1985 г. Системы дизайна Cadence позже приобрел права на Verilog-XL, симулятор HDL, который стал де-факто стандартом Симуляторы Verilog на ближайшее десятилетие. В 1987 году по запросу Министерства обороны США была разработана VHDL (VHSIC Язык описания оборудования). VHDL был основан на Язык программирования Ада, а также на опыте, полученном при более ранней разработке ISPS.[10] Первоначально Verilog и VHDL использовались для документирования и моделирования схем, уже записанных и описанных в другой форме (например, схематический файлы). Моделирование HDL позволило инженерам работать на более высоком уровне абстракции, чем моделирование на схемном уровне, и, таким образом, увеличило проектную мощность с сотен транзисторов до тысяч.[нужна цитата ]

Вступление к логический синтез поскольку HDL вытеснили HDL из фона на передний план цифрового дизайна. Инструменты синтеза скомпилированы на HDL исходные файлы (записанный в ограниченном формате, называемом RTL) в производимое описание списка соединений с точки зрения ворота и транзисторы. Написание синтезируемых файлов RTL требовало практики и дисциплины со стороны дизайнера; по сравнению с традиционной схематической компоновкой, синтезированные RTL-списки соединений почти всегда были больше по площади и медленнее по производительности[нужна цитата ]. Схема, разработанная квалифицированным инженером, с использованием трудоемкого схематического захвата / ручного макета, почти всегда превосходила его логически синтезированный эквивалент, но преимущество в производительности, обеспечиваемое синтезом, вскоре сместило цифровой схематический захват именно в те области, которые были проблематичными для Синтез RTL: чрезвычайно высокоскоростная, маломощная или асинхронная схема.

В течение нескольких лет VHDL и Verilog стали доминирующими HDL в электронной промышленности, в то время как старые и менее функциональные HDL постепенно перестали использоваться. Однако VHDL и Verilog имеют многие из тех же ограничений, например, непригодность для аналогового или схема со смешанными сигналами моделирование. Специализированные HDL (такие как Confluence) были введены с явной целью исправить определенные ограничения Verilog и VHDL, хотя ни один из них никогда не предназначался для их замены.

На протяжении многих лет было вложено много усилий в улучшение HDL. Последняя версия Verilog, формально известная как IEEE 1800-2005 SystemVerilog, представляет множество новых функций (классы, случайные переменные и свойства / утверждения) для удовлетворения растущей потребности в улучшении испытательный стенд рандомизация, иерархия дизайна и повторное использование. Будущая версия VHDL также находится в разработке.[когда? ], и ожидается, что он будет соответствовать улучшениям SystemVerilog.

Дизайн с использованием HDL

В результате повышения эффективности, реализованного с использованием HDL, большинство современных цифровых схем сосредоточено вокруг него. Большинство проектов начинается с набора требований или архитектурной схемы высокого уровня. Структуры управления и принятия решений часто прототипируются в блок-схема приложений, или вошли в диаграмма состояний редактор. Процесс написания HDL-описания сильно зависит от природы схемы и предпочтений разработчика стиля кодирования. HDL - это просто «язык захвата», часто начинающийся с высокоуровневого алгоритмического описания, такого как математическая модель C ++. Дизайнеры часто используют языки сценариев, такие как Perl для автоматического создания повторяющихся схемных структур на языке HDL. Специальные текстовые редакторы предлагают функции автоматического отступа, синтаксически зависимой окраски и макрос -основанное расширение объявления объекта / архитектуры / сигнала.

Затем код HDL проходит проверку кода или аудит. При подготовке к синтезу описание HDL подвергается множеству автоматических проверок. Проверяющие сообщают об отклонениях от стандартизованных руководств по коду, выявляют потенциально неоднозначные конструкции кода до того, как они могут вызвать неправильную интерпретацию, и проверяют общие логические ошибки кодирования, такие как плавающие порты или же закороченный выходы. Этот процесс помогает устранить ошибки до того, как код будет синтезирован.

Говоря промышленным языком, проектирование HDL обычно заканчивается на стадии синтеза. После того, как инструмент синтеза отобразил описание HDL в список соединений ворот, список соединений передается на внутренний этап. В зависимости от физической технологии (FPGA, ASIC массив ворот, ASIC стандартная ячейка ), HDL могут играть или не играть значительную роль во внутреннем потоке. В общем, по мере того, как поток проектирования переходит в физически реализуемую форму, база данных проекта становится все более загруженной специфической технологической информацией, которую нельзя сохранить в общем описании HDL. Наконец, интегральная схема изготавливается или программируется для использования.

Моделирование и отладка кода HDL

Основная статья: Логическое моделирование

Существенным для дизайна HDL является возможность имитировать программы HDL. Моделирование позволяет передать HDL-описание проекта (называемого моделью) проверка конструкции, важная веха, которая проверяет предполагаемую функцию (спецификацию) проекта относительно реализации кода в описании HDL. Это также позволяет архитектурное исследование. Инженер может поэкспериментировать с выбором дизайна, написав несколько вариантов базового проекта, а затем сравнив их поведение при моделировании. Таким образом, моделирование имеет решающее значение для успешного проектирования HDL.

Для моделирования модели HDL инженер пишет среду моделирования верхнего уровня (называемую испытательный стенд ). Как минимум, тестовый стенд содержит экземпляр модели (называемого тестируемым устройством или DUT), объявления контактов / сигналов для ввода / вывода модели и сигнал тактовой частоты. Код тестовой среды управляется событиями: инженер пишет операторы HDL для реализации (генерируемого тестовой средой) сигнала сброса, для моделирования транзакций интерфейса (таких как чтение / запись шины хоста) и для мониторинга выходных данных DUT. Симулятор HDL - программа, выполняющая тестовый стенд - поддерживает часы симулятора, которые являются эталоном для всех событий в имитации тестового стенда. События происходят только в моменты, продиктованные тестовым HDL (например, переключатель сброса, закодированный в тестовом стенде), или в реакции (моделью) на стимулы и запускающие события. Современные тренажеры HDL имеют полнофункциональную графический пользовательский интерфейс, в комплекте с набором инструментов отладки. Они позволяют пользователю останавливать и перезапускать моделирование в любое время, вставлять точки останова симулятора (независимо от кода HDL), а также отслеживать или изменять любой элемент в иерархии модели HDL. Современные симуляторы также могут связывать среду HDL с библиотеками, скомпилированными пользователем, через определенные PLI /VHPI интерфейс. Связывание зависит от системы (x86, SPARC и т. д. работает Windows /Linux /Солярис ), так как имитатор HDL и пользовательские библиотеки компилируются и связываются вне среды HDL.

Проверка проекта часто является наиболее трудоемкой частью процесса проектирования из-за отсутствия связи между устройствами функциональная спецификация, интерпретация спецификации проектировщиком и неточность[нужна цитата ] языка HDL. Большая часть начального цикла тестирования / отладки проводится в HDL. симулятор окружающей среды, так как на ранней стадии проектирования возможны частые и серьезные изменения схемы. Описание HDL также может быть прототипировано и протестировано на оборудовании - программируемые логические устройства часто используются для этой цели. Аппаратное прототипирование сравнительно дороже, чем моделирование HDL, но дает реальный взгляд на конструкцию. Прототипирование - лучший способ проверить взаимодействие с другими аппаратными устройствами и аппаратными прототипами. Даже те, которые работают на медленных ПЛИС, предлагают гораздо меньшее время моделирования, чем чистое моделирование HDL.

Проверка дизайна с помощью HDL

Основная статья: Функциональная проверка

Исторически верификация проекта представляла собой трудоемкий повторяющийся цикл написания и запуска моделирования. контрольные примеры против тестируемого дизайна. По мере того, как конструкции микросхем становились все более крупными и сложными, задача проверки конструкции выросла до такой степени, что теперь она доминирует в расписании группы разработчиков. В поисках способов повышения продуктивности проектирования автоматизация проектирования электроники промышленность разработала Язык спецификации свойств.

В формальная проверка Согласно терминам, свойство - это фактическое утверждение об ожидаемом или предполагаемом поведении другого объекта. В идеале для данного HDL-описания свойство или свойства могут быть доказаны как истинные или ложные с помощью формальных математических методов. На практике многие свойства не могут быть доказаны, потому что они занимают неограниченное пространство. пространство решений. Однако, если предоставлен набор рабочих предположений или ограничений, средство проверки свойств может подтвердить (или опровергнуть) определенные свойства, сужая пространство решений.

Утверждения не моделируют активность схемы, а фиксируют и документируют намерение разработчика в коде HDL. В среде моделирования имитатор оценивает все указанные утверждения, сообщая о местонахождении и серьезности любых нарушений. В среде синтеза инструмент синтеза обычно работает с политикой остановки синтеза при любом нарушении. Проверка на основе утверждений все еще находится в зачаточном состоянии, но ожидается, что она станет неотъемлемой частью набора инструментов проектирования HDL.

HDL и языки программирования

HDL очень похож на программное обеспечение язык программирования, но есть существенные отличия. Большинство языков программирования по своей сути процедурный (однопоточный), с ограниченной синтаксической и семантической поддержкой для обработки параллелизм. С другой стороны, ЛПВП напоминают параллельное программирование языков в их способности моделировать несколько параллельных процессов (например, шлепки и сумматоры ), которые выполняются автоматически независимо друг от друга. Любое изменение входных данных процесса автоматически запускает обновление в стеке процессов симулятора.

И языки программирования, и HDL обрабатываются компилятором (часто называемым синтезатором в случае HDL), но с разными целями. Для HDL "компиляция" означает логический синтез; процесс преобразования листинга кода HDL в физически реализуемый вентиль список соединений. Выходные данные списка соединений могут принимать любую из многих форм: список соединений "моделирования" с информацией о задержке гейта, список соединений "handoff" для пост-синтеза. размещение и маршрутизация на полупроводниковом кристалле или на стандартном промышленном стандарте Формат обмена электронным дизайном (EDIF) (для последующего преобразования в JEDEC -формат файла).

С другой стороны, программный компилятор преобразует листинг исходного кода в микропроцессор -специфический объектный код для выполнения на целевом микропроцессоре. Поскольку HDL и языки программирования заимствуют концепции и функции друг у друга, граница между ними становится менее четкой. Однако чистые HDL не подходят для общего назначения. программное обеспечение разработка,[Почему? ] как только языки программирования общего назначения нежелательны для моделирования оборудования.

Тем не менее, поскольку электронные системы становятся все более сложными, и реконфигурируемые системы становятся все более распространенными, в отрасли растет потребность в едином языке, который может выполнять некоторые задачи как проектирования оборудования, так и программирования программного обеспечения. SystemC является примером такого -Встроенная система оборудование может быть смоделировано как недетализированные архитектурные блоки (черные ящики с смоделированными входами сигналов и драйверами вывода). Целевое приложение написано на C или C ++ и изначально скомпилировано для системы разработки хоста; в отличие от нацеливания на встроенный ЦП, который требует имитации встроенного ЦП или эмулируемого ЦП.

Высокий уровень абстракции моделей SystemC хорошо подходит для раннего исследование архитектуры, поскольку архитектурные изменения можно легко оценить, не обращая внимания на проблемы реализации на уровне сигнала. Однако модель потоков, используемая в SystemC, основана на Общая память, из-за чего язык плохо справляется с параллельным выполнением или низкоуровневыми моделями.

Синтез высокого уровня

Основная статья: Синтез высокого уровня

По уровню абстракции HDL сравнивают с языки ассемблера.[нужна цитата ] Предпринимаются попытки повысить уровень абстракции проектирования оборудования, чтобы упростить программирование на HDL, создав подполе, называемое синтез высокого уровня.

Такие компании как Каденция, Synopsys и Agility Design Solutions продвигают SystemC как способ объединить языки высокого уровня с моделями параллелизма, чтобы ускорить циклы проектирования для ПЛИС чем это возможно при использовании традиционных HDL. Подходы на основе стандартных C или же C ++ (с библиотеками или другими расширениями, позволяющими параллельное программирование) находятся в Катапульта C инструменты из Наставник Графика, а Импульс C инструменты от Impulse Accelerated Technologies.

Аннаполис Микро Системс CoreFire Design Suite, Inc.[11] и Национальные инструменты LabVIEW FPGA обеспечивает графический поток данных подход к входу в дизайн высокого уровня и языки, такие как SystemVerilog, SystemVHDL и Гендель-C стремятся достичь той же цели, но нацелены на повышение производительности существующих инженеров по аппаратному обеспечению, а не на повышение доступности ПЛИС для существующих. программисты.

Также возможно проектировать аппаратные модули, используя MATLAB и Simulink с использованием MathWorks Инструмент HDL Coder[12] или Xilinx System Generator (XSG) (ранее Accel DSP) из Xilinx.[13]

Примеры HDL

HDL для проектирования аналоговых схем

ИмяОписание
Описательный язык аналогового оборудованияан открыто аналоговое оборудование язык описания
SpectreHDLсобственный язык описания аналогового оборудования
Verilog-AMS (Verilog для аналоговых и смешанных сигналов)открытый стандарт, расширяющий Verilog для аналогового и смешанного аналогово-цифрового моделирования
VHDL-AMS (VHDL с расширением аналоговых / смешанных сигналов)стандартизированный язык для смешанного аналогового / цифрового моделирования
HDL-Aсобственный язык описания аналогового оборудования

HDL для проектирования цифровых схем

Двумя наиболее широко используемыми и хорошо поддерживаемыми разновидностями ЛПВП, используемыми в промышленности, являются: Verilog и VHDL.

ИмяОписание
Расширенный язык логических выражений (ABEL)
Язык описания оборудования Altera (AHDL)собственный язык от Альтера
AHPLЯзык программирования оборудования
BluespecЛПВП высокого уровня на основе Haskell (не встроено DSL )[14]
Система Bluespec, Verilog (BSV)на основе Bluespec, с Verilog HDL-подобный синтаксис, автор: Bluespec, Inc.
C-to-VerilogКонвертер из C в Verilog
Долото (Создание оборудования на встроенном языке Scala)[15]на основе Scala (встроенный DSL )
Столкновение Clash Современный функциональный язык описания оборудования.Clash - это функциональный язык описания оборудования, синтаксис и семантика которого заимствованы из языка функционального программирования Haskell.
COLAMO (Общий ориентированный язык для архитектуры нескольких объектов)[16]проприетарный язык от ООО «Центр исследований суперкомпьютеров и нейрокомпьютеров».
Слияниефункциональный HDL; было прекращено
CoWareCЛПВП на основе С CoWare. Сейчас прекращено в пользу SystemC
CUPL (компилятор универсальной программируемой логики)[17]собственный язык от Логические устройства, Inc.
ЭЛЛАбольше не используется
ESys.net.NET Framework написано на C #
Гендель-CC-подобный язык дизайна
Hardcaml (Создание оборудования на встроенном языке Ocaml)на основе OCaml (встроенный DSL). Попытайся онлайн.
HHDLна основе Haskell (встроенный DSL).
Оборудование Присоединяйтесь к Java (HJJ)на основе Присоединяйтесь к Java
HML (Аппаратное машинное обучение)на основе Стандартный ML[18]
Гидрана основе Haskell
Импульс Cдругой C-подобный HDL
ISPSОригинальный HDL от CMU, больше не используется
ParC (Параллельный C ++)kusu расширен потоками и связью в стиле HDL для параллельного программирования
JHDLна основе Ява
KARLKAiserslautern Register Language (глава в),[9] описательный аппаратный язык на паскалийском языке, который больше не используется.
Лавана основе Haskell (встроенный DSL).[19][20][21][22]
Лолапростой язык, используемый для обучения
MHDL от Наставник Графика
MyHDLна основе Python (встроенный DSL )
nMigenна основе Python
ПАЛАЗМза Программируемая логика массива (PAL) устройства
PyMTLна основе Python от Корнельского университета
ROCCC (Оптимизирующий компилятор Riverside для конфигурируемых вычислений)Бесплатный инструмент C в HDL с открытым исходным кодом
RHDLна основе Язык программирования Ruby
Ruby (язык описания оборудования)
SystemCстандартизированный класс библиотек C ++ для высокоуровневого поведенческого и транзакционного моделирования цифровое оборудование на высоком уровне абстракции, то есть на системном уровне
SystemVerilogнадмножество Verilog с улучшениями для проектирования и проверки на уровне системы
СпинальныйЛВПНа основе Scala (встроенный DSL)
SystemTCLSDL на основе Tcl.
THDL ++ (Шаблонный HDL, вдохновленный C ++)Расширение VHDL с наследованием, расширенными шаблонами и классами политик.
TL-Verilog (Verilog на уровне транзакции)Расширение Verilog / SystemVerilog с конструкциями для трубопроводы и сделки.
VerilogОдин из наиболее широко используемых и хорошо поддерживаемых HDL
VHDL (VHSIC HDL)Один из наиболее широко используемых и хорошо поддерживаемых HDL

HDL для проектирования печатных плат

Существует несколько проектов для определения печатная плата возможность подключения с использованием языковых методов ввода текста.

ИмяОписание
PHDL (PCB HDL)Бесплатный HDL с открытым исходным кодом для определения возможности подключения печатных плат.
EDAsolverHDL для решения схематических проектов на основе ограничений
СКИДЛМодуль Python с открытым исходным кодом для разработки электронных схем

Смотрите также

Рекомендации

  1. ^ Силетти, Майкл Д. (2011). Расширенный цифровой дизайн с Verilog HDL (2-е изд.). Прентис Холл. ISBN  9780136019282.
  2. ^ Lutellier, T .; Chollak, D .; Garcia, J .; Tan, L .; Rayside, D .; Medvidovic, N .; Крегер, Р. (2015). «Сравнение методов восстановления архитектуры программного обеспечения с использованием точных зависимостей». 2015 37-я Международная конференция IEEE / ACM по разработке программного обеспечения, Флоренция. С. 69–78. Дои:10.1109 / ICSE.2015.136. ISBN  978-1-4799-1934-5.
  3. ^ Bell, C.G .; Ньюэлл, А. (1971). Компьютерные структуры: литература и примеры. Макгроу-Хилл. ISBN  0-07-004357-4.
  4. ^ Рейли, Э. (2003). Основные этапы развития информатики и информационных технологий. Гринвуд Пресс. п.183. ISBN  1-57356-521-0.
  5. ^ Bell, C.G .; Grason, J .; Ньюэлл, А. (1972). Проектирование компьютеров и цифровых систем. Цифровая пресса. LCCN  72-89566. OCLC  440245727.
  6. ^ Барбаччи, М. (1976). «Символическое манипулирование компьютерными описаниями: компилятор и симулятор ISPL». Департамент компьютерных наук Университета Карнеги-Меллон. Дои:10.1184 / R1 / 6610790.v1. Цитировать журнал требует | журнал = (помощь)
  7. ^ Barbacci, M.C .; Barnes, G.E .; Cattell, R.G.G .; Севиорек, Д. (1977). "Язык описания компьютеров ISPS". Департамент компьютерных наук Университета Карнеги-Меллон. Дои:10.1184 / R1 / 6610637.v1. Цитировать журнал требует | журнал = (помощь)
  8. ^ Girardi, G .; Хартенштейн, Р. (1983). Спецификация ABL (Отчет). CSELT и Кайзерслаутернский университет.
  9. ^ а б Hartenstein, Reiner W. (2012) [1993], «КАРЛ и АБЛ», в Mermet, J. (ed.), Основы и стандарты языков описания оборудования, Nato Science Series E, 249, Springer, стр. 447–, ISBN  9789401119146
  10. ^ Barbacci, M.C .; Затирка, S .; Lindstrom, G .; Мэлони, М. (1984). «Ада как язык описания оборудования: начальный отчет». Департамент компьютерных наук Университета Карнеги-Меллон. CiteSeerX  10.1.1.938.8003. Дои:10.1184 / R1 / 6602984.v1. Цитировать журнал требует | журнал = (помощь)
  11. ^ «Программный инструмент для программирования ПЛИС на основе VHDL». Аннаполис Микро Системс, Инк.. Получено 2018-12-01.
  12. ^ «Код VHDL - HDL Coder - MATLAB и Simulink». Mathworks.com. 2011-04-30. Получено 2012-08-11.
  13. ^ «Системный генератор для DSP». Xilinx.com. Архивировано из оригинал на 2012-07-12. Получено 2012-08-11.
  14. ^ История Haskell: лень с классом §12.4.2
  15. ^ "Среда аппаратного компилятора Chisel / FIRRTL".
  16. ^ «Язык высшего уровня COLAMO | НИЦ супер-ЭВМ и нейрокомпьютеров».
  17. ^ Eurich, J.P .; Рот, Г. (1990). «EDIF взрослеет». IEEE Spectrum. 27 (11): 68–72. Дои:10.1109/6.62219.
  18. ^ Янбин Ли; Лизер, М. (1995). «HML: инновационный язык описания оборудования и его перевод на VHDL». Труды ASP-DAC'95 / CHDL'95 / VLSI'95 с EDA Technofair. С. 691–696. Дои:10.1109 / ASPDAC.1995.486388. ISBN  4-930813-67-0.
  19. ^ Чалмерс Лава
  20. ^ Xilinx Lava
  21. ^ Канзасская лава
  22. ^ Йоркская лава

внешняя ссылка