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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
