Coverage improvements.

docs/props/reg.rst

@@ -6,9 +6,7 @@ Register Properties
 
 accesswidth
 -----------
-|NO|
-
-Only ``accesswidth`` that is equal to the ``regwidth`` is supported (default if unset)
+|OK|
 
 regwidth
 --------

docs/props/rhs_props.rst

@@ -20,15 +20,15 @@ Field
 
 field -> swacc
 ^^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Single-cycle strobe that indicates the field is being accessed by software
 (read or write).
 
 
 field -> swmod
 ^^^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Single-cycle strobe that indicates the field is being modified during a software
 access operation.
@@ -43,7 +43,7 @@ Represents the signal that controls the field's swwe/swwel behavior.
 
 field -> anded/ored/xored
 ^^^^^^^^^^^^^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Represents the current and/or/xor reduction of the field's value.
 
@@ -57,7 +57,7 @@ Represents the signal that controls the field's hwclr/hwset behavior.
 
 field -> hwenable/hwmask
 ^^^^^^^^^^^^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Represents the signal that controls the field's hwenable/hwmask behavior.
 
@@ -86,7 +86,7 @@ Field Counter Properties
 
 field -> incr
 ^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Represents the signal that controls the field's counter increment control.
 
@@ -121,7 +121,7 @@ exceeded its incrthreshold.
 
 field -> incrvalue
 ^^^^^^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Represents the value that was assigned to this property.
 
@@ -133,7 +133,7 @@ Represents the event signal that is asserted when the counter is about to wrap.
 
 field -> decr
 ^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Represents the signal that controls the field's counter decrement control.
 
@@ -167,7 +167,7 @@ exceeded its incrthreshold.
 
 field -> decrvalue
 ^^^^^^^^^^^^^^^^^^
-|EX|
+|OK|
 
 Represents the value that was assigned to this property.
 
@@ -184,19 +184,27 @@ Field Interrupt Properties
 
 field -> enable
 ^^^^^^^^^^^^^^^
-|EX|
+|OK|
+
+Represents the value that was assigned to this property.
 
 field -> mask
 ^^^^^^^^^^^^^
-|EX|
+|OK|
+
+Represents the value that was assigned to this property.
 
 field -> haltenable
 ^^^^^^^^^^^^^^^^^^^
-|EX|
+|OK|
+
+Represents the value that was assigned to this property.
 
 field -> haltmask
 ^^^^^^^^^^^^^^^^^
-|EX|
+|OK|
+
+Represents the value that was assigned to this property.
 
 
 --------------------------------------------------------------------------------

tests/test_counter_basics/regblock.rdl

@@ -50,8 +50,8 @@ addrmap top {
         updown2->decr = do_count_down;
         updown3->incr = do_count_up;
         updown3->decr = do_count_down;
-        updown4->incr = do_count_up;
-        updown4->decr = do_count_down;
+        updown4->incr = updown3->incr;
+        updown4->decr = updown3->decr;
     } simple @ 0x0;
 
 

tests/test_counter_saturate/regblock.rdl

@@ -48,8 +48,8 @@ addrmap top {
         count->decr = decrement;
         count->hwclr = clear;
         count->hwset = set;
-        count->incrvalue = step;
         count->decrvalue = step;
+        count->incrvalue = count->decrvalue;
     } saturate_via_const @ 0x4;
 
 
@@ -72,7 +72,7 @@ addrmap top {
         count->hwclr = clear;
         count->hwset = set;
         count->incrvalue = step;
-        count->decrvalue = step;
+        count->decrvalue = count->incrvalue;
     } saturate_via_ref @ 0x8;
 
     reg {