🚀 go-pugleaf

In article <1992Nov18.181933.10242@bcrka451.bnr.ca> swood@bnr.ca writes:
 > My question is: does verilog do any bounds checking on index values to register
 >                 arrays or do I have to implement such checks myself?

You have to implement the checks yourself.  Note that in RTL coding, you
don't want to do checking unless the hardware you are designing is going to
do range-checking.  In behavioral-level coding, you can do whatever you want.

One technique that you ca use is to have a seperate "integrity-check"
module that continually tests things like index ranges and detects
other illegal conditions.  This module would be a 2nd top-level module
(that is, niether of the top-level module instantiate each other) and
reference variables within the simulation model by hierarchical names
so it would be non-intrusive.  This way, you can have an RTL model,
perhaps for synthesis, but with the range checking not part of the
actual RTL model.  For example:


module integrity;

// monitor 'index'
always @(my_module.index)
  if (my_module.index < 0 || my_module.index > `MAX_INDEX)
     $display ("Index out-of-bounds detected at time %t!", $time);
...
endmodule

--
Elliot H. Mednick                                        P.O. Box 150
Wellspring Solutions                                     Sutton, MA. 01590
elliot@Wellspring.com                                    +1 508 865 7271