add test for all gated together

intel · Oct 22, 2024 · d6bd34d · d6bd34d
1 parent c044dc6
commit d6bd34d
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 3 deletions.
diff --git a/lib/src/summation/gated_counter.dart b/lib/src/summation/gated_counter.dart
@@ -179,7 +179,6 @@ class GatedCounter extends Counter {
       if (intf.hasEnable) {
         intfIsIncrementing &= intf.enable!;
       }
-      //TODO: doc instantiation of ROHD modules
 
       anyIntfIncrementing |= intfIsIncrementing;
     }

diff --git a/test/summation/gated_counter_test.dart b/test/summation/gated_counter_test.dart
@@ -33,8 +33,6 @@ class ClockToggleCounter {
   double get lowerActivity => lowerToggles / totalToggles;
 }
 
-//TODO: test gating the whole thing togethr (index <0, e.g.)
-
 void main() {
   tearDown(() async {
     await Simulator.reset();
@@ -122,6 +120,35 @@ void main() {
     expect(toggleCounter.upperActivity, greaterThan(0.95));
   });
 
+  test(
+      'simple 1-counter incrementing sometimes, with rollover,'
+      ' clock gating all together', () async {
+    final toggleCounter = await testCounter(
+      (clk, reset) {
+        final enable = Logic()..inject(0);
+        var count = 0;
+        clk.posedge.listen((_) {
+          enable.inject(count++ % 20 > 5);
+        });
+        return GatedCounter(
+          [
+            SumInterface(width: 1, hasEnable: true)
+              ..enable!.gets(enable)
+              ..amount.inject(1)
+          ],
+          clk: clk,
+          reset: reset,
+          width: 6,
+          clkGatePartitionIndex: 6,
+        );
+      },
+    );
+
+    expect(toggleCounter.lowerActivity, greaterThan(0.65));
+    expect(toggleCounter.upperActivity, greaterThan(0.65));
+    expect(toggleCounter.lowerActivity, toggleCounter.upperActivity);
+  });
+
   test('simple 1-counter incrementing always, with saturation', () async {
     final toggleCounter = await testCounter(
       (clk, reset) => GatedCounter(