An ALGOL-like computer design language
Communications of the ACM
TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic
DAC '72 Proceedings of the 9th Design Automation Workshop
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer architecture simulation using a register transfer language
ACM SIGMICRO Newsletter
Placement algorithms for arbitrarily shaped blocks
25 years of DAC Papers on Twenty-five years of electronic design automation
SABLE: A tool for generating structured, multi-level simulations
25 years of DAC Papers on Twenty-five years of electronic design automation
Verification of timing constraints on large digital systems
25 years of DAC Papers on Twenty-five years of electronic design automation
Computer architecture simulation using a register transfer language
MICRO 20 Proceedings of the 20th annual workshop on Microprogramming
A data structure for circuit net lists
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An object-oriented, procedural database for VLSI chip planning
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
On the concept of dynamic multi-level simulation
ANSS '86 Proceedings of the 19th annual symposium on Simulation
HISDL—a structure description language
Communications of the ACM
Mixed-level simulation from a hierarchical CHDL
ACM SIGDA Newsletter
IEEE Design & Test
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
Edisim and Edicap: Graphical simulator interfaces
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
A CAD system for logic design based on frames and demons
DAC '81 Proceedings of the 18th Design Automation Conference
Process oriented logic simulation
DAC '81 Proceedings of the 18th Design Automation Conference
Automatic input and interactive editing systems of logic circuit diagrams
DAC '81 Proceedings of the 18th Design Automation Conference
Functional modelling for logic simulation
DAC '81 Proceedings of the 18th Design Automation Conference
AIDE - a tool for computer architecture design
DAC '81 Proceedings of the 18th Design Automation Conference
Implementation of an interactive printed circuit design system
DAC '78 Proceedings of the 15th Design Automation Conference
Methods for hierarchical automatic layout of custom LSI circuit masks
DAC '78 Proceedings of the 15th Design Automation Conference
Interactive specification of structured designs
DAC '78 Proceedings of the 15th Design Automation Conference
SCALD: Structured Computer-Aided Logic Design
DAC '78 Proceedings of the 15th Design Automation Conference
Verification of timing constraints on large digital systems
DAC '80 Proceedings of the 17th Design Automation Conference
Verifying deep logic hierarchies with ALEX
DAC '80 Proceedings of the 17th Design Automation Conference
The generation of simulator-based systems for microcode development
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Automated partitioning of hierarchically specified digital systems
DAC '82 Proceedings of the 19th Design Automation Conference
An Interactive Simulation System for structured logic design—ISS
DAC '82 Proceedings of the 19th Design Automation Conference
Digital logic modeling system based on MODLAN
DAC '82 Proceedings of the 19th Design Automation Conference
An interactive logic synthesis system based upon AI techniques
DAC '82 Proceedings of the 19th Design Automation Conference
CALMOS: A portable software system for the automatic and interactive layout of MOS/LSI
DAC '79 Proceedings of the 16th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
MIRAGE - a simple-model routing program for the hierarchical layout design of IC masks
DAC '79 Proceedings of the 16th Design Automation Conference
Dynamic design rule checking in an interactive printed circuit editor
DAC '79 Proceedings of the 16th Design Automation Conference
Placement algorithms for arbitrarily shaped blocks
DAC '79 Proceedings of the 16th Design Automation Conference
Computer hardware description languages and their applications
DAC '79 Proceedings of the 16th Design Automation Conference
| Hi-index | 0.02 |
In this report a language (SDL) for describing structural properties of digital systems will be presented. SDL can be used at all levels of the design process i. e. from the system level down to the circuit level. The language is intended as a complement to existing computer hardware description languages, which emphasize behavioural description.The language was motivated partly by the nature of the design process.