Introduction to VLSI Systems
Building blocks for data flow prototypes
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
MOSSIM: A switch-level simulator for MOS LSI
DAC '81 Proceedings of the 18th Design Automation Conference
Functional modelling for logic simulation
DAC '81 Proceedings of the 18th Design Automation Conference
SALOGS-IV-A program to perform logic simulation and fault diagnosis
DAC '78 Proceedings of the 15th Design Automation Conference
An hierarchical language for the structural description of digital systems
DAC '77 Proceedings of the 14th Design Automation Conference
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
An experimental representation for organizational level designs and synthesis
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Zeus: A hardware description language for VLSI
DAC '83 Proceedings of the 20th Design Automation Conference
Block description language (BDL): A structural description language
DAC '84 Proceedings of the 21st Design Automation Conference
Predicate logic involving data structure as a knowledge representation language
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
| Hi-index | 48.22 |
The features of a language designed for the description of the structure of computer systems are described. The structure of a system is specified hierarchically as an interconnection of components with each component being a named instance of a component type. The system itself is another component type. The interconnection between components is specified in two ways: either by specifying all the ports that are connected together, or by specifying a component and the ports that are connected to its ports. A structure specification is a list of such connection specifications. The language has an iterative construct for specifying highly regular structures, and a conditional construct is also provided. A component type can be recursively specified while parameterization of component type specifications is supported. The latter is particularly useful for specifying classes of components of similar structure.