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

Resolve import issue in rvfi_insn_check.py for now

Browse Source
This commit is contained in:
Donald Sebastian Leung 2020-07-29 12:55:36 +08:00
parent 0c971e96ce
commit 0aaf7e8d03
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
checks/rvfi_insn_check.py
View File

@ -1,7 +1,10 @@
from nmigen import * from nmigen import *
from nmigen.hdl.ast import * from nmigen.hdl.ast import *
# TODO: Find a way to make this import work
# from ..insns.insn_add import * # Ugly hack for now to get the insn_add import working
import sys
sys.path.append('../insns')
from insn_add import *
class rvfi_insn_check(Elaboratable): class rvfi_insn_check(Elaboratable):
def __init__(self, RISCV_FORMAL_ILEN=32, RISCV_FORMAL_XLEN=32): def __init__(self, RISCV_FORMAL_ILEN=32, RISCV_FORMAL_XLEN=32):
@ -200,7 +203,3 @@ class rvfi_insn_check(Elaboratable):
m.d.comb += Assert(spec_trap == trap) m.d.comb += Assert(spec_trap == trap)
return m return m
test = rvfi_insn_check()
test.ports()
test.elaborate(platform=None)