From: lkcl <lkcl@web>
Date: Mon, 5 Sep 2022 09:51:53 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~692
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9b0cf6e0e9f94f6d0f3fb3c6b32389c77843232;p=libreriscv.git

---

diff --git a/openpower/sv.mdwn b/openpower/sv.mdwn
index bf3634b33..223d3befb 100644
--- a/openpower/sv.mdwn
+++ b/openpower/sv.mdwn
@@ -177,10 +177,11 @@ It requires certain guarantees to be provided.
   different results on different hardware (present or future)
 * Thirdly, that implementors are not permitted to either add
   arbitrary features nor implement features in an incompatible
-  way.
+  way. *(Performance may differ, but differing results are
+  not permitted)*.
 * Fourthly, that any part of Simple-V not implemented by
   a lower Compliancy Level is *required* to raise an illegal
-  instruction trap.
+  instruction trap (allowing soft-emulation).
 * Fifthly, that any `UNDEFINED` behaviour for practical implementation
   reasons is clearly documented for both programmers and hardware
   implementors.