English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: HDCaml


HDCaml provides a framework for describing hardware structures in OCaml. Given a functional hardware description, HDCaml will produce a Verilog netlist for verification and implementation. HDCaml also has decent PSL support for assertion based verification.
Homepage ]
Author:Tom Hawkins.
Last modification date:07-Nov-2005
Development status:Beta
Kind: Libraries :: Native OCaml libraries
License: Open Source :: LGPL
Topic: System :: Hardware
Software development :: Code generators