ACM Computing Surveys (CSUR)
An ALGOL-like computer design language
Communications of the ACM
Computer Design Language - Version Munich (CDLM): Eine moderne Rechnerentwurfsssprache
GI - 12. Jahrestagung
Symbolic synthesis of digital computers
ACM '52 Proceedings of the 1952 ACM national meeting (Toronto)
MuSiC: an event-flow computer for fast simulation of digital systems
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Hi-index | 0.00 |
Based on Computer Design Language and Instruction Set Processor Specification, the language CDLM is proposed as a system both for design verification at different levels of abstraction and for dynamic verification of design refinement steps. After presenting some aspects of structure, behavior and algorithmic description level, design modularisation, time behavior simulation, and design methodology in CDLM is discussed.