ISDL
Язык ISDL был разработан группой CAA (Computer-Aided Automation) университета MIT, США [46] и впервые представлен на конференции по автоматизированному дизайну DAC [47] в 1997 году. Основной специализацией ISDL является описание VLIW-архитектур. Изначально язык задумывался для поддержки настраиваемых компилятора, ассемблера и симулятора, а также генератора Verilog-описаний на основе ISDL-спецификаций. Как и nML, ISDL, главным образом, позволяет на основе использования атрибутной грамматики описывать систему команд процессора, включающую в себя семантику поведения, синтаксис ассемблера, машинные коды, а также описание ресурсных конфликтов. К важным достоинствам языка можно отнести возможность специфицировать задержки и конфликтные ситуации для параллелизма уровня команд (Instruction Level Parallelism, ILP) в виде логических правил, хотя явное описание конвейера отсутствует. Описание ISDL состоит из следующих секций:
- Format – формат машинного слова (разбиение на именованные битовые поля);
-
Global_Definitions – глобальные определения лексем (Token) и нетерминальных символов (Non_Terminal);
-
Storage – элементы-хранилища (регистры, память, стек, управляющие и специальные регистры);
-
Instruction_Set – спецификация системы команд в виде набора операций, описание каждой из которых включает следующие атрибуты:
- мнемоника;
-
параметры в виде лексем и нетерминальных символов;
-
бинарное кодирование в машинном слове;
-
поведение в виде RTL описания над ресурсами-хранилищами;
-
время выполнения и другие параметры стоимости (например, энергопотребление):
-
задержки;
- Constraints – ограничения на совместимость различных операций, как в рамках одной инструкции, так и между соседними инструкциями, а также ограничения в ассемблерном синтаксисе; ограничения записываются в виде логических правил, включающих в себя ссылки на параметры, константы и логические операции.
Описание тривиального процессора в ISDL приведено в примере 6. SECTION Format IW = OPF[4], DSTF[4], SRCF[4];