The topic of this article may not meet Wikipedia's notability guidelines for products and services. (December 2009) |
Atom is a DSL in Haskell for designing hard realtime embedded software.
| Atom | |
|---|---|
| Paradigm | functional, synchronous, reactive |
| Designed by | Thomas Hawkins |
| First appeared | 2007 |
| Typing discipline | static, strong, inferred |
| OS | portable |
| License | BSD3 |
| Website | http://hackage.haskell.org/package/atom/ |
| Influenced by | |
| Bluespec, Confluence, Haskell | |
History
Atom was created in 2007 originally as a hardware description language. Inspired by TRS [1] and Bluespec, Atom compiled circuit descriptions based on conditional term rewriting into Verilog netlists for simulation and logic synthesis.
Overview
Examples
Limitations
References
- ^ Synthesis of Operation-Centric Hardware Descriptions. James C. Hoe and Arvind. International Conference on Computer Aided Design (ICCAD), November 2000.]