T
Tom Hawkins
Guest
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/
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/