Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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