Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Gezel

From HandWiki - Reading time: 1 min

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. 





Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Gezel
12 views | Status: cached on August 06 2024 11:16:57
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF