Confluence wiki

From WikiIndex

Confluence wiki RecentChanges [No WikiNode] Status Active Language English Edit Mode OpenEdit Wiki Engine DokuWiki Main Topic Software

[edit] Description

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: http://www.atlassian.com/software/confluence/