Exactly and note "The A2I core is compliant to Power ISA 2.06 and will need updates to be compliant with either version 3.0c or 3.1. Power ISA 3.0c and 3.1 are

Exactly and note "The A2I core is compliant to Power ISA 2.06 and will need updates to be compliant with either version 3.0c or 3.1. Power ISA 3.0c and 3.1 are the two Power ISA versions contributed to OpenPOWER Foundation by IBM." Who is going to do that and how without the verification infrastructure? (Verification is about the test infrastructure, not the Verilog simulator which is a commodity). The _real_ value is in the verification infrastructure.