Gezel
From EverybodyWiki Bios & Wiki
Gezel is a hardware description language, allowing the implementation of a Finite State Machine + Datapath (FSMD) model.[1] The tools included in Gezel allows for simulation, cosimulation as well as compiling into VHDL code. It is possible to extend Gezel through library-blocks written in C++.
A Hello World Program[edit]
dp helloWorld(){
always {
$display("Hello World");
}
}
system S {
helloWorld;
}
References[edit]
- ↑ Hansen, Michael R.; Madsen, Jan; Brekling, Aske Wiid (2007). "Semantics and Verification of a Language for Modelling Hardware Architectures". In Jones, Cliff B.; Woodcock, Jim; Liu, Zhiming. Formal Methods and Hybrid Real-Time Systems. Springer Berlin Heidelberg. pp. 300–319. ISBN 9783540752219. Search this book on
 | This technology-related article is a stub. You can help EverybodyWiki by expanding it. |
 | This computing article is a stub. You can help EverybodyWiki by expanding it. |
This article "Gezel" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Gezel. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
