Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Tom Hawkins <tomahawkins <at> gmail.com>
Subject: ANNOUNCE: Atom 2007.05
Newsgroups: gmane.comp.lang.haskell.general
Date: Tuesday 1st May 2007 20:51:55 UTC (over 10 years ago)
Atom, a high-level hardware description language embedded in Haskell,
compiles conditional term rewriting systems into conventional HDL.

New in this release:

  - VHDL code generation (synthesis only, simulation directives not
supported).

  - Improved rule mutual exclusion analysis.  Now, mutual exclusion
    can be verified on many rule conditions without having to use MiniSat.

  - Automatic reset and clock generation for IO-less systems (Verilog
only).
    Eliminates the need for separate Verilog testbenches when both
    the design and stimulus are described in Atom.

  - And few additions to the library.

Enjoy!

  http://www.funhdl.org/

-Tom
 
CD: 4ms