View Single Post
  #1 (permalink)  
Old 10-23-2003, 11:17 PM
Tom Hawkins
Guest
 
Posts: n/a
Default [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.

Downloads:
http://www.launchbird.com/download.html
http://spinroot.com/

Regards,
Tom

--
Tom Hawkins
Launchbird Design Systems, Inc.
952-200-3790
http://www.launchbird.com/
Reply With Quote