DocumentCode
2645128
Title
Specifying system behavior in CPA
Author
McFarland, M.C. ; Kowalski, T.J.
Author_Institution
Boston Coll., Chestnut Hill, MA, USA
fYear
1991
fDate
14-16 Oct 1991
Firstpage
342
Lastpage
345
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCD.1991.139914
Filename
139914
Link To Document