Such mal nach SpecC. Das ist eine Obermenge von ANSI-C und erweitert das
um Konstrukte wie Pipelining, State-Machines etc...
Diese Beschreibung kann dann sowohl kompiliert als auch synthetisiert
werden (zumindest in der Theorie). Es gibt da als Beispielprojekt zum
Beispiel einen MP3 decoder.
Hier ist die URL: http://www.cecs.uci.edu/~specc/, da sind auch 2 Bücher
mit angegeben, die nicht schwer zu verstehen sind.
Die Idee von SpecC (und anderen Ansätzen) ist das sog. System-Level
Design. Das könnte auch als Stichwort für Deine Suche dienen. Die Idee
dahinter ist, dass man zukünftig nicht drumherumkommen wird den Grad
beim Systemdesign auf eine höhere Abstraktionsebene zu bringen als es
heutzutage der Fall ist, da man ansonsten nicht in einer vertretbaren
Time-To-Market die Systeme aufgrund der gestiegenen Komplexität (zig
Milliarden Transistoren auf einem Chip) nicht fertigbekommt. Man will
also fertige Designs aus Spezifikationsbeschreibungen erzeugen. Das wird
bei SpecC in der sog. SpecC Design Metholodgy berücksichtigt, welches
Interaktion von verschiedenem IP recht generisch beschreibt. Ob das dann
in Hardware oder Software implementiert wird ist ist dann erstmal egal.
Viel Erfolg beim Seminar, Gruß, Micha.
