Misplaced Pages

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Gezel" – news · newspapers · books · scholar · JSTOR (December 2010) (Learn how and when to remove this message) The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Gezel" – news · newspapers · books · scholar · JSTOR (December 2010) (Learn how and when to remove this message) (Learn how and when to remove this message)

Gezel is a hardware description language, allowing the implementation of a Finite-State Machine + Datapath (FSMD) model. 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". 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 Misplaced Pages by expanding it.

• v
• t
• e

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

• v
• t
• e

• Hardware description languages
• Technology stubs
• Computing stubs