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"