Digital systems: hardware organization and design (3rd ed.)
Digital systems: hardware organization and design (3rd ed.)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Introduction to VLSI Systems
DAC '83 Proceedings of the 20th Design Automation Conference
On the verification of computer architectures using an architecture description language
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
APL '79 Proceedings of the international conference on APL: part 1
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
Understanding hierarchical design
Understanding hierarchical design
A graphical hardware design language
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
An experimental representation for organizational level designs and synthesis
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A VLSI architect's assistant (abstract)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Hi-index | 0.00 |
This paper presents a model for the representation of digital designs at the functional (behavioral) level. The definition of a representation involves terms, composition rules, constraints and attributes. The rules specify how terms and compositions can be combined to form new compositions, subject to the constraints. After a survey of formal methods for the specification of language semantics, a hybrid technique is outlined that combines the best of operational and mathematical methods.