A graphical engineering aid for VLSI systems
A graphical engineering aid for VLSI systems
An architecture design and assessment system for software/hardware codesign
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Synthesis of VLSI systems with the CAMAD design aid
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
The N. mPc system description facility
DAC '79 Proceedings of the 16th Design Automation Conference
Incremental timing verification in top-down, bottom-up designs using constraint propagation
Incremental timing verification in top-down, bottom-up designs using constraint propagation
Designer controlled behavioral synthesis
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
MIES: a microarchitecture design tool
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Increasing user interaction during high-level synthesis
MICRO 24 Proceedings of the 24th annual international symposium on Microarchitecture
GRTL: a graphical platform for pipelined system design
EURO-DAC '91 Proceedings of the conference on European design automation
Hi-index | 0.00 |
Gdl is a graphical hardware design language that separates design decisions into three interrelated, but distinct domains: behavioral, structural and physical. Specific language features are provided to represent a design in each of these domains. This report describes the process model for Gdl. Functional behavior is separated into distinct activities called “processes” (autonomous control centers.) The computations performed by a process are specified in its behavior graph. Processes may communicate with each other through ports where the channel between two ports may be an abstract logical link or may be a physical bus. Provisions are made for synchronization. The paper concludes with an evaluation of Gdl and suggestions for future research.