Atom (programming language): Difference between revisions

Revision as of 23:42, 4 December 2009

Revision as of 00:05, 5 December 2009

Line 25:

== History ==

AtomOriginally was created in 2007 originallyintended as a high level [[hardware description language]], Atom was created in early 2007 and released in open-source of May of the same year.

Inspired by TRS <ref name="hoe1">[http://www.ece.cmu.edu/~jhoe/distribution/2000/iccad00.pdf Synthesis of Operation-Centric Hardware Descriptions].
James C. Hoe and Arvind. International Conference on Computer Aided Design (ICCAD), November 2000.]</ref>

and [[Bluespec]], Atom compiled circuit descriptions based on guarded atomic operations, or [[Term_Rewriting_System| conditional term rewriting]], into [[Verilog]] [[netlist|netlists]] for simulation and [[logic synthesis]].

As a hardware compiler, Atom's primary objective was to maximize the number of operations, or rules, that could execute in a given clock cycle without violating the semantics of atomic operations.

Based on the properties of conflict-free and sequentially-composable rules<ref name="hoe1"/>, Atom's author reduced maximizing execution concurrency to a [[feedback arc set]] optimization of a rule-data dependency graph --

an algorithm which is very similar, if not equivalent to James Hoe's original algorithm<ref name="hoe1" />.

For effective

== Overview ==