[Haskell-cafe] ANN: Atom - Yet another Haskell HDL
william.wood3 at comcast.net
Wed Apr 4 05:06:13 EDT 2007
On Tue, 2007-04-03 at 23:18 -0500, Tom Hawkins wrote:
> 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
More information about the Haskell-Cafe