Examples

This section contains a few examples of translation hardware expressed in the specification language, and the corresponding generated systems code.