Slide 50 of 93
Notes:
The table on this and the following three pages comes from [MGC94b], pp .1-13 through 1-15.
Note that some of the unsynthesizable constructs result in warnings (denoted by “(W)”) and some cause the synthesis tool to abort (denoted by “(E)” for Error).
