Verification documents for the CV32E40P RISC-V core

• VerificationPlan: also known as the Tesplan. Feature-by-feature description of what is to be verified.