Specifying system behavior in CPA
M.C. McFarland, T.J. Kowalski · 2002
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.>