From 2185bae40d38938f99a1a89300876128c4564696 Mon Sep 17 00:00:00 2001
From: Robin Jadoul <robin.jadoul@3milabs.tech>
Date: Wed, 21 Jan 2026 14:47:41 +0100
Subject: [PATCH] fix(spec): Missing `write_register` multiplicity.

---
 spec/src/cpu.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spec/src/cpu.toml b/spec/src/cpu.toml
index 63ed2005f..a8345c820 100644
--- a/spec/src/cpu.toml
+++ b/spec/src/cpu.toml
@@ -581,6 +581,7 @@ output = "rv2"
 kind = "interaction"
 tag = "MEMW"
 input = [1, ["*", 2, "rd"], "rvd", ["+", "timestamp", 2], 1, 0, 0]
+multiplicity = "write_register"
 
 [[constraints.mem]]
 kind = "interaction"