EPI Consortium members published “Cycle-Accurate Verification of the Cryptographic Co-Processor for the European Processor Initiative” at ApplePies, in the Lecture Notes in Computer Science.
Here you can find a link to an open access version of the article: https://www.researchgate.net/publication/377372141_Cycle-Accurate_Verification_of_the_Cryptographic_Co-Processor_for_the_European_Processor_Initiative