Verification IP (IMS-09) - PR903426-2380-P

ll as fault detection and correction, classical HDL verification IP as well as formal verification will be used. The support for the RISC-V architecture must be ensured. At the end of the project, the IP provider is requested to make the tooling and rule set definitions available under Open Source l

icense.