esl

Need to showcase in the readme and docs!
As part of this It's likely many of the apps will be converted.

Using the SystemC statement

head = (head + 1) % 3;

causes the PrintITL to print the line

at t_end: head = ((1 + head_at_t)(31 downto 0) mod 3)(31 downto 0);

in the respective property. Onespin reports this line with the following output:

-E- FIFO.vhi:119:58 Slice expression is out of range.
type: unsigned(1 downto 0)
slice: 31 downto 0
: at t_end: from_re