[{"display_html":"data RvfiCsr n = RvfiCsr {}","name":"RvfiCsr RvfiCsr _rmaskCsr _wmaskCsr _rdataCsr _wdataCsr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#t:RvfiCsr"},{"display_html":"wmaskCsr :: forall n. Lens' (RvfiCsr n) ((:::) "wmask" (BitVector n))","name":"wmaskCsr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:wmaskCsr"},{"display_html":"wdataCsr :: forall n. Lens' (RvfiCsr n) ((:::) "wdata" (BitVector n))","name":"wdataCsr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:wdataCsr"},{"display_html":"rmaskCsr :: forall n. Lens' (RvfiCsr n) ((:::) "rmask" (BitVector n))","name":"rmaskCsr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rmaskCsr"},{"display_html":"rdataCsr :: forall n. Lens' (RvfiCsr n) ((:::) "rdata" (BitVector n))","name":"rdataCsr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rdataCsr"},{"display_html":"data Rvfi = Rvfi {}","name":"Rvfi Rvfi _rvfiCsrMisa _rvfiCsrMstatus _rvfiCsrMscratch _rvfiCsrMcycle _rvfiCsrMinstret _rvfiMemWData _rvfiMemRData _rvfiMemWMask _rvfiMemRMask _rvfiMemAddr _rvfiPcWData _rvfiPcRData _rvfiRdWData _rvfiRdAddr _rvfiRs2Data _rvfiRs1Data _rvfiRs2Addr _rvfiRs1Addr _rvfiIxl _rvfiMode _rvfiIntr _rvfiHalt _rvfiTrap _rvfiInsn _rvfiOrder _rvfiValid","module":"Lion.Rvfi","link":"Lion-Rvfi.html#t:Rvfi"},{"display_html":"rvfiValid :: Lens' Rvfi ((:::) "valid" Bool)","name":"rvfiValid","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiValid"},{"display_html":"rvfiTrap :: Lens' Rvfi ((:::) "trap" Bool)","name":"rvfiTrap","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiTrap"},{"display_html":"rvfiRs2Data :: Lens' Rvfi ((:::) "rs2_rdata" (BitVector 32))","name":"rvfiRs2Data","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiRs2Data"},{"display_html":"rvfiRs2Addr :: Lens' Rvfi ((:::) "rs2_addr" (Unsigned 5))","name":"rvfiRs2Addr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiRs2Addr"},{"display_html":"rvfiRs1Data :: Lens' Rvfi ((:::) "rs1_rdata" (BitVector 32))","name":"rvfiRs1Data","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiRs1Data"},{"display_html":"rvfiRs1Addr :: Lens' Rvfi ((:::) "rs1_addr" (Unsigned 5))","name":"rvfiRs1Addr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiRs1Addr"},{"display_html":"rvfiRdWData :: Lens' Rvfi ((:::) "rd_wdata" (BitVector 32))","name":"rvfiRdWData","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiRdWData"},{"display_html":"rvfiRdAddr :: Lens' Rvfi ((:::) "rd_addr" (Unsigned 5))","name":"rvfiRdAddr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiRdAddr"},{"display_html":"rvfiPcWData :: Lens' Rvfi ((:::) "pc_wdata" (BitVector 32))","name":"rvfiPcWData","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiPcWData"},{"display_html":"rvfiPcRData :: Lens' Rvfi ((:::) "pc_rdata" (BitVector 32))","name":"rvfiPcRData","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiPcRData"},{"display_html":"rvfiOrder :: Lens' Rvfi ((:::) "order" (BitVector 64))","name":"rvfiOrder","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiOrder"},{"display_html":"rvfiMode :: Lens' Rvfi ((:::) "mode" (BitVector 2))","name":"rvfiMode","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiMode"},{"display_html":"rvfiMemWMask :: Lens' Rvfi ((:::) "mem_wmask" (BitVector 4))","name":"rvfiMemWMask","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiMemWMask"},{"display_html":"rvfiMemWData :: Lens' Rvfi ((:::) "mem_wdata" (BitVector 32))","name":"rvfiMemWData","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiMemWData"},{"display_html":"rvfiMemRMask :: Lens' Rvfi ((:::) "mem_rmask" (BitVector 4))","name":"rvfiMemRMask","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiMemRMask"},{"display_html":"rvfiMemRData :: Lens' Rvfi ((:::) "mem_rdata" (BitVector 32))","name":"rvfiMemRData","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiMemRData"},{"display_html":"rvfiMemAddr :: Lens' Rvfi ((:::) "mem_addr" (BitVector 32))","name":"rvfiMemAddr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiMemAddr"},{"display_html":"rvfiIxl :: Lens' Rvfi ((:::) "ixl" (BitVector 2))","name":"rvfiIxl","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiIxl"},{"display_html":"rvfiIntr :: Lens' Rvfi ((:::) "intr" Bool)","name":"rvfiIntr","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiIntr"},{"display_html":"rvfiInsn :: Lens' Rvfi ((:::) "insn" (BitVector 32))","name":"rvfiInsn","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiInsn"},{"display_html":"rvfiHalt :: Lens' Rvfi ((:::) "halt" Bool)","name":"rvfiHalt","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiHalt"},{"display_html":"rvfiCsrMstatus :: Lens' Rvfi ((:::) "csr_mstatus" (RvfiCsr 32))","name":"rvfiCsrMstatus","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiCsrMstatus"},{"display_html":"rvfiCsrMscratch :: Lens' Rvfi ((:::) "csr_mscratch" (RvfiCsr 32))","name":"rvfiCsrMscratch","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiCsrMscratch"},{"display_html":"rvfiCsrMisa :: Lens' Rvfi ((:::) "csr_misa" (RvfiCsr 32))","name":"rvfiCsrMisa","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiCsrMisa"},{"display_html":"rvfiCsrMinstret :: Lens' Rvfi ((:::) "csr_minstret" (RvfiCsr 64))","name":"rvfiCsrMinstret","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiCsrMinstret"},{"display_html":"rvfiCsrMcycle :: Lens' Rvfi ((:::) "csr_mcycle" (RvfiCsr 64))","name":"rvfiCsrMcycle","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:rvfiCsrMcycle"},{"display_html":"fromRvfi :: First Rvfi -> Rvfi","name":"fromRvfi","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:fromRvfi"},{"display_html":"mkRvfi :: Rvfi","name":"mkRvfi","module":"Lion.Rvfi","link":"Lion-Rvfi.html#v:mkRvfi"},{"display_html":"core :: HiddenClockResetEnable dom => CoreConfig -> Signal dom (BitVector 32) -> FromCore dom","name":"core","module":"Lion.Core","link":"Lion-Core.html#v:core"},{"display_html":"defaultCoreConfig :: CoreConfig","name":"defaultCoreConfig","module":"Lion.Core","link":"Lion-Core.html#v:defaultCoreConfig"},{"display_html":"defaultPipeConfig :: PipeConfig","name":"defaultPipeConfig","module":"Lion.Core","link":"Lion-Core.html#v:defaultPipeConfig"},{"display_html":"data CoreConfig = CoreConfig {}","name":"CoreConfig CoreConfig pipeConfig aluConfig","module":"Lion.Core","link":"Lion-Core.html#t:CoreConfig"},{"display_html":"data AluConfig","name":"AluConfig Hard Soft","module":"Lion.Core","link":"Lion-Core.html#t:AluConfig"},{"display_html":"newtype PipeConfig = PipeConfig {}","name":"PipeConfig PipeConfig startPC","module":"Lion.Core","link":"Lion-Core.html#t:PipeConfig"},{"display_html":"data FromCore dom = FromCore {}","name":"FromCore FromCore toRvfi toMem","module":"Lion.Core","link":"Lion-Core.html#t:FromCore"},{"display_html":"data ToMem = ToMem {}","name":"ToMem ToMem memAccess memAddress memByteMask memWrite","module":"Lion.Core","link":"Lion-Core.html#t:ToMem"},{"display_html":"data MemoryAccess","name":"MemoryAccess InstrMem DataMem","module":"Lion.Core","link":"Lion-Core.html#t:MemoryAccess"}]