Name
Abstract | ||
|---|---|---|
This paper describes a new high-level synthesis system based on the hierarchical production based specification (PBS). Advantages of this form of specification are that the designer does not describe the control flow in terms of explicit states or control variables, and that the designer does not describe a particular form of implementation. The production-based specification also separates the specification of the control aspects and data-flow aspects of the design. The control is implicitly described via the production hierarchy, while the data-flow is described as action computations. This approach is a hardware analog of popular software engineering techniques. The Clairvoyant system automatically constructs a controlling machine from the PBS and this process is not impacted by the possibly exponentially larger deterministic state space of the designs. The encodings generated by the constructions compare favorably to encodings derived using graph-based state encoding techniques in terms of logic complexity and logic depth. These construction techniques utilize recent advances in BDD techniques.<> |
Year | DOI | Venue |
|---|---|---|
1994 | 10.1109/92.285744 | Readings in hardware/software co-design |
Keywords | Field | DocType |
application specific integrated circuits,logic cad,specification languages,asic,bdd techniques,clairvoyant,binary decision,control aspects,control flow,controlling machine,data-flow aspects,encodings,exponentially larger deterministic state space,hierarchical production based specification,high-level synthesis system,logic circuit design,logic complexity,logic depth,production hierarchy,encoding,high level synthesis,automatic control,hardware description language,production systems,indexing terms,hardware,binary decision diagram,reactive system,control systems,software engineering,logic,state space,data flow | Programming language,Computer science,Binary decision diagram,Theoretical computer science,Real-time computing,Electronic engineering,Control system,Hardware description language,High-level synthesis,Control flow,Automatic control,Reactive system,State space | Journal |
Volume | Issue | ISSN |
2 | 2 | 1063-8210 |
ISBN | Citations | PageRank |
1-55860-702-1 | 32 | 7.66 |
References | Authors | |
19 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrew Seawright | 1 | 102 | 16.25 |
| Forrest Brewer | 2 | 414 | 62.95 |