[Haskell-cafe] ANN: Atom - Yet another Haskell HDL

[Bill Wood]

On Tue, 2007-04-03 at 23:18 -0500, Tom Hawkins wrote:
> Hi,
> 
> Haskell has a rich history of embedded hardware description languages.
>  Here's one more for the list.
> 
> Inspired by the work of Arvind, Hoe, and all the sharp folks at
> Bluespec, Atom is a small HDL that compiles conditional term rewriting
> systems down to Verilog RTL.  In Atom, a circuit description is
> composed of a set of state elements (registers) and a set of rules.
> Each rule has two components: an enabling condition and a collection
> of actions, or state updates.  When a rule is enabled, it's actions
> may be selected to execute atomically.  In contrast to Verilog
> "always" blocks, multiple rules can write to the same state element.

Just curious, how does this relate to Guryevitch's Evolving Algebras
(renamed Abstract State Machines?)

 -- Bill Wood