search

SymbioticEDA / riscv-formal

RISC-V Formal Verification Framework
ISC License
584 stars 98 forks source link

Fix some syntax errors #45

Open leonschoorl opened 3 years ago

leonschoorl commented 3 years ago

I tried to follow the Quick Start Guide, but I ran into some syntax errors with the current version of yosys (8eaeaa84346):

[pc_fwd_ch0] base: rvfi_pc_fwd_check.sv:19: ERROR: syntax error, unexpected TOK_RAND
[causal_ch0] base: rvfi_causal_check.sv:19: ERROR: syntax error, unexpected TOK_RAND
[liveness_ch0] base: rvfi_liveness_check.sv:19: ERROR: syntax error, unexpected TOK_RAND
[reg_ch0] base: rvfi_reg_check.sv:19: ERROR: syntax error, unexpected TOK_RAND
[unique_ch0] base: rvfi_unique_check.sv:19: ERROR: syntax error, unexpected TOK_RAND
[pc_bwd_ch0] base: rvfi_pc_bwd_check.sv:19: ERROR: syntax error, unexpected TOK_RAND
[csrw_mcycle_ch0] base: rvfi_csrw_check.sv:56: ERROR: syntax error, unexpected TOK_ID
[csrw_minstret_ch0] base: rvfi_csrw_check.sv:56: ERROR: syntax error, unexpected TOK_ID

After these patches I'm still left with the same PREUNSAT errors as #36.