Предлагаю разработать либу Forth-to-RTL. То есть, надстроить ANS93 Форт так, чтобы он генерировал исходники VHDL, AHDL, Verilog. Что-то наподобие SystemC.

Лично мне был бы интересен еще и конвертер "AHDL -> VHDL".

Идея не плохая, а как бы еще spice модели прикрутить.
Использование Форта вместо VHDL для моделирования CPU
встречал у Brada на tiniboot.com.

Статья по сложности построения компиляторов:)
http://www.pcmag.ru/archive/9705s/05s979.asp

P.S. На примере реализации С++ компилятора:)

"Скрипач не нужен!" (c) То есть, еще один компилятор не нужен, т.к. используется Форт, и, стало быть, его компилятор. Так что сложностей с этой стороны не предвидится.

И в каком объеме она должна исполнять свои функции? Если речь идет о генерации шаблонов, так это уже давно...

Пробить в них дырку, взять болт с гайкой, и прикрутить... На стенку, например, можно.

вообще в этом случае используется обычный Форт, на котором моделируется поведение системы, а вот как это реально реализуется -- сам хочу знать, кто бы рассказал

ну например пишем на Форте модели базовых блоков 74 логики, потом каким-то образом строим из них иерархическую систему, получая модель требуемого устройства, а потом как-то (как ?) получаем схему для моделирования в DesignLab/OrCAD/SPICE, и описание на *DL которое синтазатор для конкретног типа ПЛИС способен всосать и выдать прошивку

Ключевые обороты речи здесь: "как-то", "каким-то образом"

Примерно как SystemC, см. http://en.wikipedia.org/wiki/SystemC

Адреса, явки, пароли?

Такие я видел. Подобных средств сейчас достаточно много.



А форт его знает! Генерация шаблона по результатам разбора входного языка или даже просто параметров не так уж сложна. Форт, тикль, си, си-шарп - это я навскидку по работе нашей команды могу сказать. Там ничего кардинально сложного нет, вопросов два: как обеспечить достаточную выразительность для конструкций "ForthHDL", и как обеспечить удобную интеграцию в существующие маршруты проектирования. HDL на форте появляется в проекте класса "система на кристалле", поскольку если мы прошьем память команд софт-процессора словами форта, то эта память будет разновидностью большущей комбинаторной схемы.