* HDCaml 0.1.0
@ 2005-09-16 18:38 Tom Hawkins
0 siblings, 0 replies; only message in thread
From: Tom Hawkins @ 2005-09-16 18:38 UTC (permalink / raw)
To: caml-list
I just started 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.
Current Limitations:
- Synchronous, single clock.
- No black boxing.
- Basic regs only. No memories.
- Flat netlisting.
Possible Future Directions:
- Better clock control.
- Hierarchical netlisting.
- C, VHDL, NuSMV code generation.
- Links to HOL Light.
Any recommendations on the API structure or library features would be
appreciated.
-Tom
HDCaml Download:
http://www.confluent.org/
API Docs:
http://www.confluent.org/misc/hdcaml/Hdcaml.html
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-09-16 18:38 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-09-16 18:38 HDCaml 0.1.0 Tom Hawkins
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox