[Haskell] ANNOUNCE: Atom 2007.05

Tom Hawkins tomahawkins at gmail.com
Tue May 1 16:51:55 EDT 2007

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.




More information about the Haskell mailing list