Home
People
Publications
Multiprocessor Architecture Watch
Concurrency Abstraction Watch
Laboratory

Constraints View

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.
Constraint view window
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.

Send feedback to mescal@gigascale.org
You are not logged in 
Contact 
©2002-2018 U.C. Regents