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 734b946a27645859187904fe37da42a993e08e64..9a447c10c07ad542096ce4b618670da3fbf263f6 100644 (file)
--- 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.