RISC-V ISA Formal Verification setup and script files for Siemens Questa Processor tool#1008

Merged

pascalgouedo merged 4 commits intoopenhwgroup:devfrom pascalgouedo:dev_dd_pgo_riscv_formal

Jun 21, 2024

+1,295

Commits on Jun 20, 2024

RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool.
Pascal Gouedo
committed
Added signoff report generation.
Pascal Gouedo
committed
License header addition except in json files which don't accept comments.
Pascal Gouedo
committed
Changed Siemens EDA to Siemens and Onespin to Questa Processor.
Pascal Gouedo
committed