ゲゼル

Gezelはハードウェア記述言語であり、有限ステートマシン+データパス(FSMD)モデルの実装を可能にします。 ^[1] Gezelに含まれるツールは、シミュレーション、コシミュレーション、およびVHDLコードへのコンパイルを可能にします。C++で書かれたライブラリブロックを通じてGezelを拡張することが可能です。

Hello World プログラム

dp helloWorld (){常に{ $display ( "Hello World" ); } } 
    
      
   


システムS { helloWorld ; }

参考文献

^ Hansen, Michael R.; Madsen, Jan; Brekling, Aske Wiid (2007)。「ハードウェアアーキテクチャをモデル化する言語のセマンティクスと検証」。Jones, Cliff B.、Woodcock, Jim、Liu, Zhiming (編)。形式手法とハイブリッドリアルタイムシステム。Springer Berlin Heidelberg。pp. 300–319。ISBN 9783540752219。

[1] Hansen, Michael R.; Madsen, Jan; Brekling, Aske Wiid (2007)。「ハードウェアアーキテクチャをモデル化する言語のセマンティクスと検証」。Jones, Cliff B.、Woodcock, Jim、Liu, Zhiming (編)。形式手法とハイブリッドリアルタイムシステム。Springer Berlin Heidelberg。pp. 300–319。ISBN 9783540752219。