From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 5 Jun 2024 11:46:25 +0000 (+0100)
Subject: quick para
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aa9ce6a63a1f1afba1f63c66b2159bd0ae9644f9;p=libreriscv.git

quick para
https://bugs.libre-soc.org/show_bug.cgi?id=985
---

diff --git a/openpower/test_api.mdwn b/openpower/test_api.mdwn
index 734b946a2..9a447c10c 100644
--- a/openpower/test_api.mdwn
+++ b/openpower/test_api.mdwn
@@ -85,9 +85,18 @@ rigorous format, which gives:
 * the expected ending-state of both memory and registers,
  post-execution.
 
+Thus it is expected that each implementation helps verify others,
+and, ironically and just as importantly, verify that the actual
+Power ISA specification is correct and its Compliance Suite also
+sufficiently comprehensive to ensure implementation mistakes do
+not occur!
+
 The next most logically-obvious thing to do is to extend the API
 to allow additional implementations to easily be included, in a
 modular extensible fashion, and to formalise and document the API
-itself.
+itself. This was where bug
+[985](https://bugs.libre-soc.org/show_bug.cgi?id=985)
+came into play: to add the expected new Simulator (cavatools)
+in as another option to triage against.