This is an old revision of the document!
This research investigates a high-level hardware design framework that supports a new hardware design abstraction that is fundamentally different from RTL. This framework is based on an operation-centric abstraction for hardware description. In an operation-centric description, the behavior of a system is decomposed and described as a collection of atomic operations. Check out Bluespec.com for a commercial implementation.
- Operation-Centric Hardware Description and Synthesis. James C. Hoe and Arvind. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Volume 23, Issue 9, September 2004. (pdf)
- Synchronous Extensions to Operation-Centric Hardware Description Languages. Grace Nordin and James C. Hoe. International Conference on Formal Methods and Models for Codesign (MEMOCODE), June 2004. (pdf)
- Synthesis of Operation-Centric Hardware Descriptions. James C. Hoe and Arvind. International Conference on Computer Aided Design (ICCAD), November 2000. (pdf)
- Hardware Synthesis from Term Rewriting Systems. James C. Hoe and Arvind. IFIP International Conference on VLSI, December 1999. (pdf)
- An Exercise in High-Level Architectural Description using a Synthesizable Subset of Term Rewriting Systems. James C. Hoe, Martin Rinard and Arvind. MIT-CSGMEMO-403, February 1998. (pdf)