[ANN] Confluence 0.7.1 Released

I just released Confluence 0.7.1, which includes a few minor language improvements and a new installation package.

Confluence is a functional programming language for RTL logic design. The Confluence compiler generates synthesizable Verilog and VHDL and cycle-accurate C and Python models.

And with 0.7, Confluence also integrates with the open-source SPIN Model Checker to conduct formal verification, random simulation, and equivalence checking.


formatting link
formatting link

Regards, Tom

-- Tom Hawkins Launchbird Design Systems, Inc.

formatting link
Reply to
Tom Hawkins
Loading thread data ...

ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.