Download:
|
by James C. Hoe, James C. Hoe
In IEEE/ACM Intl. Conf. on Computer Aided Design (ICCAD) (2000
http://www.csg.lcs.mit.edu/Users/jhoe/csgmemo/memo-426a.ps.gz
Add To MetaCart
Abstract:
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer explicitly manages the concurrency by scheduling the exact cycle-by-cycle interactions between multiple concurrent state machines. Design mistakes are common in coordinating interactions between two state machines because transitions in different state machines are not semantically coupled. It is also difficult to modify one state machine without considering its interaction with the rest of the system. This paper presents a method for hardware synthesis from an "operation centric " description, where the behavior of a system is described as a collection of "atomic " operations in the form of rules. Typically, a rule is defined by a predicate
Citations
|
3171
|
Computer Architecture a Quantitative Approach
– Hennessey, Patterson
- 2003
|
|
607
|
Term Rewriting and All That
– Baader, Nipkow
- 1998
|
|
159
|
The Verilog Hardware Description Language
– Thomas, Moorby
- 1991
|
|
135
|
The foundations of Esterel
– Berry
- 2000
|
|
102
|
A model and methodology for hardware-software codesign
– Adams, Schmitt, et al.
- 1993
|
|
92
|
SpecC: Specification Language and Methodology
– Gajski, Zhu, et al.
- 2000
|
|
65
|
An Efficient Implementation of Reactivity for Modeling Hardware in Scenic Design Environment
– Liao
- 1997
|
|
62
|
The Transmogrifier C hardware description language and compiler for FPGAs
– Galloway
- 1995
|
|
42
|
Using term rewriting systems to design and verify processors
– Arvind, Shen
- 1999
|
|
38
|
Parallelizing applications into silicon
– Babb, Rinard, et al.
- 1998
|
|
31
|
ECL: A specification environment for system-level design
– Lavagno, Sentovich
- 1999
|
|
25
|
Microprocessor specification in Hawk
– Matthews, Cook, et al.
- 1998
|
|
22
|
High level compilation for fine grained fpgas
– Gokhale, Gomersall
- 1997
|
|
20
|
FPGA computing in a data parallel C
– Gokhale, Minnich
- 1993
|
|
15
|
Operation-Centric Hardware Description and Synthesis
– Hoe
- 2000
|
|
11
|
Verifying Pipelined Microprocessors
– Windley
- 1995
|
|
8
|
Hoe and Arvind. Hardware synthesis from term rewriting systems
– C
- 1999
|
|
1
|
HardwareC -- A Language for Hardware Design
– University
- 1990
|
