Title :
Specifying system behavior in CPA
Author :
McFarland, M.C. ; Kowalski, T.J.
Author_Institution :
Boston Coll., Chestnut Hill, MA, USA
Abstract :
CPA (conditions, precedence relations and assertions), a framework for specifying the behavior of control-oriented digital systems, is described. CPA allows the expression of sequential behavior, data transformations and timing constraints in an integrated representation. It supports the abstract, declarative specification of behavior independent of any particular implementation. Thus it is especially useful for verifying a design against a set of externally-defined requirements
Keywords :
formal specification; abstract specification; assertions; behaviour specification; conditions; control-oriented digital systems; data transformations; declarative specification; integrated representation; precedence relations; sequential behavior; timing constraints; Communication system control; Communication system software; Control systems; Digital control; Digital systems; Educational institutions; Error correction codes; Protocols; Standards publication; Timing;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1991. ICCD '91. Proceedings, 1991 IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-2270-9
DOI :
10.1109/ICCD.1991.139914
