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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell