FPGA Groups

FPGA Groups (http://www.fpgacentral.com/group/index.php)
-   FPGA (http://www.fpgacentral.com/group/forumdisplay.php?f=14)
-   -   [ANN] Confluence 0.7.1 Released (http://www.fpgacentral.com/group/showthread.php?t=50587)

Tom Hawkins 10-23-2003 11:17 PM

[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/


All times are GMT +1. The time now is 08:26 AM.

Powered by vBulletin® Version 3.8.0
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.
Search Engine Friendly URLs by vBSEO 3.2.0
Copyright 2008 @ FPGA Central. All rights reserved