T
tom
Guest
HDCaml is a hardware description language embedded in OCaml; a type
safe, higher-order functional programming language. Given a digital
design, HDCaml will output a synthesizable Verilog netlist with PSL
assertions for verification.
Though HDCaml is still in early beta, 0.2 has undergone a major cleanup
of the API. All comments are welcome. To download...
http://www.confluent.org/
Enjoy!
-Tom
safe, higher-order functional programming language. Given a digital
design, HDCaml will output a synthesizable Verilog netlist with PSL
assertions for verification.
Though HDCaml is still in early beta, 0.2 has undergone a major cleanup
of the API. All comments are welcome. To download...
http://www.confluent.org/
Enjoy!
-Tom