(no commit message)

diff --git a/openpower/sv.mdwn b/openpower/sv.mdwn
index bf3634b33424186b8dddf20c7ecd27a424e75256..223d3befb4815771f007810d32f678c4be0f85ff 100644 (file)
--- 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.