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