Mark pipelined_mult inputs as @data (#2013)

calyxir · Apr 22, 2024 · f2d3fc6 · f2d3fc6
1 parent 26b2400
commit f2d3fc6
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/primitives/pipelined.futil b/primitives/pipelined.futil
@@ -2,8 +2,8 @@ extern "pipelined.sv" {
     // A latency-sensitive multiplier that takes 4 cycles to compute its result.
     static<4> primitive pipelined_mult[WIDTH] (
         @clk clk: 1,
-        left: WIDTH,
-        right: WIDTH
+        @data left: WIDTH,
+        @data right: WIDTH
     ) -> (
         out: WIDTH
     );
@@ -14,8 +14,8 @@ extern "pipelined.sv" {
     ] (
         @clk clk: 1,
         @reset reset: 1,
-        left: WIDTH,
-        right: WIDTH
+        @data left: WIDTH,
+        @data right: WIDTH
     ) -> (
         out: WIDTH
     );