Confluence wiki

WikiIndex - wikis, wiki people, wiki software, and wiki ideas
Jump to: navigation, search
HdCamlLogo.png Confluence wiki
Recent changes
[No WikiNode]
[No About]
[No Mobile URL]
Status: Cannot connect
Language: English
Edit mode: OpenEdit
Wiki engine: DokuWiki
Main topic: Software


Confluence is a language for synchronous reactive system design

HDCaml is a hardware design and verification language embedded in Objective Caml. Given a high-level, structural design description, HDCaml will generate a synthesizable Verilog netlist, PSL assertions, and cycle and bit accurate C and SystemC models.

see also: