[ANN] Confluence 0.7.1 Released

Discussion in 'VHDL' started by Tom Hawkins, Oct 23, 2003.

  1. Tom Hawkins

    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/
     
    Tom Hawkins, Oct 23, 2003
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Tom Hawkins

    [ANN] InFormal 0.1.1 Released

    Tom Hawkins, Nov 9, 2004, in forum: VHDL
    Replies:
    2
    Views:
    491
    Tom Hawkins
    Nov 9, 2004
  2. tom
    Replies:
    0
    Views:
    472
  3. Jussi Jumppanen

    ANN: Zeus Version 3.95 Editor Released

    Jussi Jumppanen, Aug 8, 2005, in forum: VHDL
    Replies:
    0
    Views:
    438
    Jussi Jumppanen
    Aug 8, 2005
  4. Andrew

    Velocity and Confluence wiki

    Andrew, Nov 2, 2006, in forum: Java
    Replies:
    0
    Views:
    449
    Andrew
    Nov 2, 2006
  5. Jeremy Barth

    Convert HTML to Confluence Wiki

    Jeremy Barth, Feb 1, 2011, in forum: Ruby
    Replies:
    0
    Views:
    209
    Jeremy Barth
    Feb 1, 2011
Loading...

Share This Page