Подмастерье
В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Gezel — язык описания аппаратного обеспечения , позволяющий реализовать модель конечного автомата + путь к данным (FSMD). [1] Инструменты, включенные в Gezel, позволяют моделировать, совместно моделировать, а также компилировать в VHDL код . Возможно расширение Gezel с помощью библиотечных блоков, написанных на C++.
Программа «Привет, мир»
[ редактировать ]dp helloWorld(){
always {
$display("Hello World");
}
}
system S {
helloWorld;
}
Ссылки
[ редактировать ]- ^ Хансен, Майкл Р.; Мэдсен, Ян; Бреклинг, Аске Вийд (2007). «Семантика и верификация языка моделирования аппаратных архитектур». В Джонсе, Клифф Б.; Вудкок, Джим; Лю, Чжимин (ред.). Формальные методы и гибридные системы реального времени . Шпрингер Берлин Гейдельберг. стр. 300–319. ISBN 9783540752219 .