.##########################################################################
.# Common Pal header file that can be used to include common defines
.# or subroutines. A "toggle" subroutine is provided to generate
.# toggle type coverage for a variable.
.##########################################################################
.###########################################################################
.# toggle - use to generate toggle type coverage for a signal or field.
.# just pass the number of bits in the variable. Use like this:
.# sample variable_toggle_sample (variable[5:0]) {
.##########################################################################
. for($i=$num_bits-1; $i >= 0; $i--) {
. printf (" wildcard state s_bit_%02d_0 ( %d\'b", $i, $num_bits );
. for($j=$num_bits-1; $j >= 0; $j--) {
. if( $i == $j ) { print "0"; }
. printf (" wildcard state s_bit_%02d_1 ( %d\'b", $i, $num_bits );
. for($j=$num_bits-1; $j >= 0; $j--) {
. if( $i == $j ) { print "1"; }
.###########################################################################
.# toggle2 - use to generate toggle type coverage for a signal or field.
.# just pass the number of bits in the variable andn its name like this:
.# sample variable_toggle_sample (variable[5:0]) {
.# . &toggle2(6, "variable" );
.# &toggle uses wildcards which are said to hurt performance. This uses
.# a different technique.
.##########################################################################
.# local($num_bits,$variable) = @_;
.# for($i=$num_bits-1; $i >= 0; $i--) {
.# printf(" state s_bit_%02d_0 ( %s[%d] == 1'b0 );\n", $i, $variable, $i );
.# printf(" state s_bit_%02d_1 ( %s[%d] == 1'b1 );\n", $i, $variable, $i );