An hierarchical language for the structural description of digital systems
DAC '77 Proceedings of the 14th Design Automation Conference
Verification of timing constraints on large digital systems
25 years of DAC Papers on Twenty-five years of electronic design automation
Timing verification and the timing analysis program
25 years of DAC Papers on Twenty-five years of electronic design automation
Fast online/offline netlist compilation of hierarchical schematics
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
A data structure for circuit net lists
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
CAD tool interchangeability through Net list translation
ACM SIGDA Newsletter
Hierarchical VLSI design systems based on attribute grammars
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Chip assemblers: Concepts and capabilities
DAC '83 Proceedings of the 20th Design Automation Conference
The IC Module Compiler, a VLSI system design aid
DAC '83 Proceedings of the 20th Design Automation Conference
A retrospective on the Dorado, a high-performance personal computer
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
A CAD system for logic design based on frames and demons
DAC '81 Proceedings of the 18th Design Automation Conference
Custom VLSI electrical rule checking in an intelligent terminal
DAC '81 Proceedings of the 18th Design Automation Conference
Interactive specification of structured designs
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
Developments in verification of design correctness (A Tutorial)
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 VLSI design challenge of the 80's (Position Statement)
DAC '80 Proceedings of the 17th Design Automation Conference
Timing Verification and the Timing Analysis program
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
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
The PUMA project: Computer design automation in the university
ACM '80 Proceedings of the ACM 1980 annual conference
Computer hardware description languages and their applications
DAC '79 Proceedings of the 16th Design Automation Conference
Hi-index | 0.00 |
SCALD, a graphics-based hierarchical digital logic design system, is described and an example of its use is given. SCALD provides a total computer-aided design environment which inputs a high-level description of a digital system, and produces output for computer-aided manufacture of the system. SCALD has been used in the design of an operational, 15-MIPS, 5500-chip ECL-10K processor.