Benso, Carlo, Prinetto, Zorian, 2008. IEEE Standard 1500 Compliance Verification for Embedded Cores 16.. https://doi.org/10.1109/tvlsi.2008.917412