Computer Design Language - Version Munich (CDLM) A Modern Multi-Level Language

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.