Atom (programming language): Difference between revisions

Revision as of 03:17, 16 May 2011

Revision as of 15:03, 28 June 2011

Line 27:

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, that were based on guarded atomic operations, or [[Term Rewriting System|conditional term rewriting]], into [[Verilog]] [[netlist]]s for simulation and [[logic synthesis]].

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

BasedBy onemploying 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—agraph. This process was similar, if not equivalent to James Hoe's original algorithm<ref name="hoe1" />.

When Atom's author switched careers in late 2007 from logic design to [[Embedded systems|embedded software]] engineering, Atom was redesign from an [[hardware description language|HDL]] to a [[___domain specific language]]