Content deleted Content added
Tomahawkins (talk | contribs) |
Tomahawkins (talk | contribs) No edit summary |
||
Line 29:
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
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 --
a process similar, if not equivalent to James Hoe's original algorithm<ref name="hoe1" />.
| |||