[rtl] support zvk

chipsalliance · Aug 24, 2024 · 4dbe36b · 4dbe36b
1 parent 9192d5f
commit 4dbe36b
Show file tree

Hide file tree

Showing 26 changed files with 1,099 additions and 41 deletions.
diff --git a/configgen/generated/blastoise.json b/configgen/generated/blastoise.json
@@ -167,7 +167,8 @@
           ]
         ]
       ],
-      "zvbbModuleParameters": []
+      "zvbbModuleParameters": [],
+      "zvkModuleParameters": []
     }
   },
   "generator": "org.chipsalliance.t1.rtl.T1"

diff --git a/configgen/generated/machamp.json b/configgen/generated/machamp.json
@@ -151,7 +151,8 @@
         ]
       ],
       "floatModuleParameters": [],
-      "zvbbModuleParameters": []
+      "zvbbModuleParameters": [],
+      "zvkModuleParameters": []
     }
   },
   "generator": "org.chipsalliance.t1.rtl.T1"

diff --git a/configgen/generated/psyduck.json b/configgen/generated/psyduck.json
@@ -4,7 +4,8 @@
     "dLen": 256,
     "extensions": [
       "Zve32f",
-      "Zvbb"
+      "Zvbb",
+      "Zvk"
     ],
     "t1customInstructions": [],
     "vrfBankSize": 1,
@@ -184,6 +185,23 @@
             3
           ]
         ]
+      ],
+      "zvkModuleParameters": [
+        [
+          {
+            "parameter": {
+              "datapathWidth": 32,
+              "latency": 3
+            },
+            "generator": "org.chipsalliance.t1.rtl.LaneZvk"
+          },
+          [
+            0,
+            1,
+            2,
+            3
+          ]
+        ]
       ]
     }
   },

diff --git a/configgen/generated/sandslash.json b/configgen/generated/sandslash.json
@@ -151,7 +151,8 @@
         ]
       ],
       "floatModuleParameters": [],
-      "zvbbModuleParameters": []
+      "zvbbModuleParameters": [],
+      "zvkModuleParameters": []
     }
   },
   "generator": "org.chipsalliance.t1.rtl.T1"

diff --git a/configgen/src/Main.scala b/configgen/src/Main.scala
@@ -100,14 +100,15 @@ object Main {
             Seq(0, 1, 2, 3))),
         floatModuleParameters =
           Seq((SerializableModuleGenerator(classOf[LaneFloat], LaneFloatParam(32, 3)), Seq(0, 1, 2, 3))),
-        zvbbModuleParameters = Seq()
+        zvbbModuleParameters = Seq(),
+        zvkModuleParameters = Seq(),
       )
     )
     if (doEmit) param.emit(targetFile)
     param
   }
 
-  // DLEN256 VLEN256;   FP; VRF p0rw,p1rw bank1; LSU bank8  beatbyte 8; Zvbb
+  // DLEN256 VLEN256;   FP; VRF p0rw,p1rw bank1; LSU bank8  beatbyte 8; Zvbb; Zvk
   @main def psyduck(
     @arg(name = "target-file", short = 't') targetFile:             os.Path,
     @arg(name = "emit", short = 'e', doc = "emit config") doEmit: Boolean = true
@@ -117,7 +118,7 @@ object Main {
     val param = T1Parameter(
       vLen,
       dLen,
-      extensions = Seq("Zve32f", "Zvbb"),
+      extensions = Seq("Zve32f", "Zvbb", "Zvk"),
       t1customInstructions = Nil,
       vrfBankSize = 1,
       vrfRamType = RamType.p0rwp1rw,
@@ -151,7 +152,9 @@ object Main {
         floatModuleParameters =
           Seq((SerializableModuleGenerator(classOf[LaneFloat], LaneFloatParam(32, 3)), Seq(0, 1, 2, 3))),
         zvbbModuleParameters =
-          Seq((SerializableModuleGenerator(classOf[LaneZvbb], LaneZvbbParam(32, 3)), Seq(0, 1, 2, 3)))
+          Seq((SerializableModuleGenerator(classOf[LaneZvbb], LaneZvbbParam(32, 3)), Seq(0, 1, 2, 3))),
+        zvkModuleParameters =
+          Seq((SerializableModuleGenerator(classOf[LaneZvk], LaneZvkParam(32, 3)), Seq(0, 1, 2, 3))),
       )
     )
     if (doEmit) param.emit(targetFile)
@@ -201,7 +204,8 @@ object Main {
             ),
             Seq(0, 1, 2, 3))),
         floatModuleParameters = Seq(),
-        zvbbModuleParameters = Seq() // TODO
+        zvbbModuleParameters = Seq(),
+        zvkModuleParameters = Seq(),
       )
     )
     if (doEmit) param.emit(targetFile)
@@ -251,7 +255,8 @@ object Main {
             ),
             Seq(0, 1, 2, 3))),
         floatModuleParameters = Seq(),
-        zvbbModuleParameters = Seq() // TODO
+        zvbbModuleParameters = Seq(),
+        zvkModuleParameters = Seq(),
       )
     )
     if (doEmit) param.emit(targetFile)

diff --git a/ipemu/src/TestBench.scala b/ipemu/src/TestBench.scala
@@ -253,7 +253,7 @@ class TestBench(generator: SerializableModuleGenerator[T1, T1Parameter])
         laneProbes.flatMap(laneProbe =>
           laneProbe.slots.map(slot => slot.writeTag === tag.U && slot.writeQueueEnq && slot.writeMask.orR)
         ) ++ laneProbes.flatMap(laneProbe =>
-          laneProbe.crossWriteProbe.map(cp => cp.bits.writeTag === tag.U && cp.valid && cp.bits.writeMask.orR)
+          laneProbe.crossWriteProbe.map(cp => cp.bits.writeTag === tag.U && cp.valid && cp.bits.writeMask.orR) // TODO: zvkCrossWriteProbe
         ) ++
           // vrf write from lsu
           lsuProbe.slots.map(slot => slot.dataInstruction === tag.U && slot.writeValid && slot.dataMask.orR) ++

diff --git a/t1/src/Bundles.scala b/t1/src/Bundles.scala
@@ -619,8 +619,10 @@ class ExecutionUnitRecord(parameter: LaneParameter)(isLastSlot: Boolean) extends
   val maskForFilter: UInt = UInt(4.W)
   // false -> lsb of cross read group
   val executeIndex: Bool = Bool()
+  val zvkExecuteIndex: Option[UInt] = Option.when(parameter.zvkEnable)(UInt(2.W))
   val source: Vec[UInt] = Vec(3, UInt(parameter.datapathWidth.W))
   val crossReadSource: Option[UInt] = Option.when(isLastSlot)(UInt((parameter.datapathWidth * 2).W))
+  val zvkCrossReadSource: Option[UInt] = Option.when(isLastSlot && parameter.zvkEnable)(UInt((parameter.datapathWidth * 4).W))
   /** groupCounter need use to update `Lane.maskFormatResultForGroup` */
   val groupCounter: UInt = UInt(parameter.groupNumberBits.W)
   val sSendResponse: Option[Bool] = Option.when(isLastSlot)(Bool())
@@ -725,4 +727,4 @@ class T1Retire(xLen: Int) extends Bundle {
   val rd:  ValidIO[T1RdRetire] = Valid(new T1RdRetire(xLen))
   val csr: ValidIO[T1CSRRetire] = Valid(new T1CSRRetire)
   val mem: ValidIO[EmptyBundle] = Valid(new EmptyBundle)
-}
+}