Gezel

Last updated March 05, 2025

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

dphelloWorld(){always{$display("Hello World");}}systemS{helloWorld;}

References

↑ 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 (eds.). Formal Methods and Hybrid Real-Time Systems. Springer Berlin Heidelberg. pp. 300–319. ISBN 9783540752219.

This technology-related article is a stub. You can help Wikipedia by expanding it.

This computing article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] 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 (eds.). Formal Methods and Hybrid Real-Time Systems. Springer Berlin Heidelberg. pp. 300–319. ISBN 9783540752219.

[1]