Gezel

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

dp helloWorld(){
always {
$display("Hello World");

system S {
helloWorld;

## References

1. ↑ Hansen, Michael R.; Madsen, Jan; Brekling, Aske Wiid (2007). "Semantics and Verification of a Language for Modelling Hardware Architectures". Formal Methods and Hybrid Real-Time Systems. Springer Berlin Heidelberg. pp. 300–319. ISBN 9783540752219.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Gezel. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Gezel&oldid=3977509"