[Haskell] ANNOUNCE: Atom 2007.05
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