This view is used to constrain the set of operations supported
by the instructions decoder. Apart from removing operations from the
instruction set, more complex, e.g. multi-cycle, operations can be
created by combining operations sequentially or concurrently.
The list on the left shows all primitive as well as all newly defined
operations. Using the editor fields on the right, operations can be
combined in time and space. The system checks the definition of the
constraint against resource conflicts in the data path. This view can
therefore effectively be used to define a customized instruction set.
Due to the correct-by-construction generation of operations from the
description of the data path, a verification step is not needed to
check the instruction set against the architecture implementation.