Representation in CAD
Paul J. Drongowski · 1985
This paper presents a model for the representation of digital designs at the functional (behavioral) level. The definition of a representation involves terms, composition rules, constraints and attributes. The rules specify how terms and compositions can be combined to form new compositions, subject to the constraints. After a survey of formal methods for the specification of language semantics, a hybrid technique is outlined that combines the best of operational and mathematical methods.