M-Labs
/
riscv-formal-nmigen
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge riscv_formal_parameters.py into verify.py

This commit is contained in:
Donald Sebastian Leung 2020-08-24 10:20:30 +08:00
parent 607d82f27c
commit ee80bff3db
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
rvfi/cores/minerva/verify.py
View File

@ -8,7 +8,10 @@ from ...checks.liveness_check import *
from ...checks.unique_check import * from ...checks.unique_check import *
from minerva.core import * from minerva.core import *
from ...insns.isa_rv32i import * from ...insns.isa_rv32i import *
from ...riscv_formal_parameters import * from collections import namedtuple
RISCVFormalParameters = namedtuple('RISCVFormalParameters',
['ilen', 'xlen', 'csr_misa', 'compressed', 'aligned_mem'])
class InsnSpec(Elaboratable): class InsnSpec(Elaboratable):
def __init__(self, insn_model): def __init__(self, insn_model):

4
rvfi/riscv_formal_parameters.py
View File

@ -1,4 +0,0 @@
from collections import namedtuple
RISCVFormalParameters = namedtuple('RISCVFormalParameters',
['ilen', 'xlen', 'csr_misa', 'compressed', 'aligned_mem'])