Author Name: Driss Hafdi
Original Redmine Issue: 1624 from https://www.veripool.org

If a variable of the wrong witdth is passed in as a parameter, verilator prints out in its warning the parameter definition location, whereas it would be more helpful to get the reference of the value that was passed in, particularly with bigger design with multiple levels of hierarchy. Here is a

According to the C++ standard, it is not allowed to have identifiers containing double underscores anywhere in the name (paragraph 17.4.3.1.2), since all such identifiers are reserved. See also e.g. https://stackoverflow.com/questions/228783 or https://en.cppreference.com/w/cpp/language/identifiers (section "In declarations").

Most likely not an issue, but I figured I might as well mention it.

1. Generate simple documentation about the interface used by the PE modules (shell and kernel) with a example as reference to the other groups. (22/06)
2. General description about the project: indroduction, methodology, conslusion and etc.

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