Skip to content

/ riscv-formal

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix some syntax errors #45

Open
wants to merge 3 commits into
base: master
from
Open

Fix some syntax errors #45

wants to merge 3 commits into from
+29 −29

Commits on Jan 26, 2021

  1. Switch "const" and "rand" modifier order 

    The current Yosys only accepts the order: rand const
The other way round results in:
	ERROR: syntax error, unexpected TOK_RAND

And "rand const" is also the way they show it in their README:
https://github.com/YosysHQ/yosys/blob/master/README.md#non-standard-or-systemverilog-features-for-formal-verification
    @leonschoorl
    leonschoorl committed Jan 26, 2021
    96ddaa0

  2. Rename macro rvformal_const_rand_reg to rvformal_rand_const_reg 

    So it matches the new order of the modifiers
    @leonschoorl
    leonschoorl committed Jan 26, 2021
    0a29531

  3. Fix syntax errors in rvfi_csrw_check.sv 

    	`csrget(`RISCV_FORMAL_CSRW_NAME, rmask)
Got expanded into:
	rvfi.csr_mcycle_ rmask

Because of the extra space, this resulted in:
	[csrw_mcycle_ch0] base: rvfi_csrw_check.sv:56:
		ERROR: syntax error, unexpected TOK_ID
    @leonschoorl
    leonschoorl committed Jan 26, 2021
    e0fd8ce