Bureaucrats, checkuser, interwiki, staff, Administrators
9,160
edits
Confluence wiki: Difference between revisions
→Description: scrape
Harry Wood (talk | contribs) (spelling Dokuwiki correctly) |
MarkDilley (talk | contribs) (→Description: scrape) |
||
| Line 13: | Line 13: | ||
==Description== | ==Description== | ||
Confluence is a language for synchronous reactive system design | 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. | |||
HDCaml circuit simulations can be conducted within Objective Caml and produce VCD waveforms for debugging. | |||