Add verification support on cva6_reorg branch to #685

Merged

zarubaf merged 16 commits intoopenhwgroup:cva6_reorgfrom

ThalesGroup:pr/thales-cva6_reorg

Jun 24, 2021

Commits on Jun 21, 2021

Makefile, riscv_pkg.sv: Select C64A6 or CV32A6

JeanRochCoulon
authored and
ASintzoff
committed
add RVFI tracer and debug support

authored and
ASintzoff
committed

Commits on Jun 22, 2021

Commits on Jun 23, 2021

Support FPGA generation
ASintzoff
committed
riscv-dbg: update to 989389b0 (to support 32-bit CVA6 debug)
ASintzoff
committed
Create cva6_config_pkg to setup 32- or 64-bit configuration

JeanRochCoulon
authored and
ASintzoff
committed
Flist, ariane_wrapper.sv: add wrapper to expand rvfi and axi structures

JeanRochCoulon
authored and
ASintzoff
committed
cv*a6_*_pkg.sv, riscv_pkg.sv: (Fix) Use the camel case for the localparams

JeanRochCoulon
authored and
ASintzoff
committed
riscv_pkg.sv: clean-up the cva6_config_pkg import

JeanRochCoulon
authored and
ASintzoff
committed
Makefile, ariane.sv: RVFI_TRACE define conditions RVFI port in ariane

JeanRochCoulon
authored and
ASintzoff
committed