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