https://salsa.debian.org/Kazan-team/power-instruction-analyzer The program also has models written in Rust for each implemented instruction. Those models are accessible through a Python API for use with unit tests of our processor design without requiring the host processor to be a POWER9 processor (important because lots of people only have x86 processors and POWER9 processors aren't exactly cheap). The models must reproduce all results of the POWER9 processor exactly, even if the OpenPower spec says those particular operations are not defined.
Luke, I'll likewise leave this up to you to assign funding to.