From aa9ce6a63a1f1afba1f63c66b2159bd0ae9644f9 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 5 Jun 2024 12:46:25 +0100 Subject: [PATCH] quick para https://bugs.libre-soc.org/show_bug.cgi?id=985 --- openpower/test_api.mdwn | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) 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. -- 2.30.2