P Girinath

changes for printing duplicate coverpoints

1

Task1 : Explicitly specify redundant coverpoints in the terminal messages - The normalization functions used to abstract representations of coverpoints can potentially produce duplicate coverpoints. It is desirable to identify...

Task : Explicitly specify redundant coverpoints in the terminal messages - The normalization functions used to abstract representations of coverpoints can potentially produce duplicate coverpoints. It is desirable to identify...

isa_yaml with RV64IMAFDCSU gives isa_checked.yaml with the following registers as accessible. - VSSTATUS - VSIE - VSIP - VSSCRATCH - VSEPC - VSTVAL - VSCAUSE - VSTVEC - VSATP It...

Question about RISCV cpu_start

11

Since RISCV spec allows WFI to be implemented as a NOP, shouldn't asm("WFI"); be in a while loop, as is commonly done? https://github.com/apache/nuttx/blob/master/arch/risc-v/src/common/riscv_cpustart.c#L78 ``` void riscv_cpu_boot(int cpu) { .... /*...

Address mismatch for mstatush

1

The address for mstatush is listed as 768. In this line of [schema_isa](https://github.com/riscv-software-src/riscv-config/blob/dev/riscv_config/schemas/schema_isa.yaml#L1473) From my understanding, it should be 784, as per RISCV priveleged spec which says address is 0x310.