add srcstep and correct PC-advancing during Sub-PC looping in ISACaller
[soc.git] / src / soc / regfile /
2021-01-28 Luke Kenneth Casso... add SVSTATE to StateRegs
2020-09-06 Luke Kenneth Casso... add reset option to Register
2020-09-06 Luke Kenneth Casso... add unit test for slow SPRs (SPRG0/1)
2020-09-06 Luke Kenneth Casso... minor code-munge on SPR-to-FAST mapping
2020-09-06 Luke Kenneth Casso... move DEC and TB from StateRegs to FastRegs for several...
2020-09-06 Luke Kenneth Casso... add DEC and TB to State regfile
2020-08-31 Luke Kenneth Casso... add XER to fastregs and "construct" it in mfspr/mtspr
2020-08-25 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-25 Luke Kenneth Casso... add CR read to DMI interface
2020-08-15 Luke Kenneth Casso... rather big change to interaction between regfile and...
2020-08-14 Luke Kenneth Casso... put multi-ports back (for read) on int and fast regfiles
2020-08-13 Luke Kenneth Casso... add forwarding-bus mode to Regfile Memory (and disable it)
2020-08-13 Luke Kenneth Casso... sigh. convert Fast regfile to binary
2020-08-13 Luke Kenneth Casso... sigh. convert INT regfile to binary addressing
2020-08-13 Luke Kenneth Casso... create a RegFileMem class that uses Memory
2020-08-11 Luke Kenneth Casso... sigh, remove yet another int regfile read port
2020-08-11 Luke Kenneth Casso... reduce regfile port usage for INT and FAST
2020-08-11 Luke Kenneth Casso... reduce regfile ports by creating separate STATE regfile
2020-08-11 Luke Kenneth Casso... reducing regfile port usage by sharing read ports
2020-08-03 Luke Kenneth Casso... add extra port for debug read of int regs via DMI
2020-07-29 Jacob Lifshayadd __init__.py to all source directories
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master'
2020-07-22 Jacob Lifshayformat code
2020-07-22 Luke Kenneth Casso... reduce number of FastRegs read ports
2020-07-14 Luke Kenneth Casso... add MSR reading to issue FSM
2020-07-08 Luke Kenneth Casso... adding in ALU test back in, debugging SPR setup
2020-07-08 Luke Kenneth Casso... sorting out setting of XER
2020-07-08 Luke Kenneth Casso... add spr to fast reg converter
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org...
2020-07-05 Luke Kenneth Casso... add slow spr regfile regspec support
2020-07-04 Luke Kenneth Casso... more rename spr1/spr2 to fast1/fast2
2020-07-04 Luke Kenneth Casso... add gitignores
2020-07-04 Luke Kenneth Casso... debugging decoding of SPRs (fast)
2020-06-18 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org...
2020-06-18 Luke Kenneth Casso... slightly hacky way to keep an eye on the PC
2020-06-16 Luke Kenneth Casso... add test instruction memory SRAM
2020-06-05 Luke Kenneth Casso... name regfile ports by name not numerical position
2020-06-05 Luke Kenneth Casso... whoops connecting up CR in wrong order. fixing with...
2020-06-05 Luke Kenneth Casso... fix syntax errors and use correct FastRegs (SRR0/1...
2020-06-04 Luke Kenneth Casso... initialise XER from simulation
2020-06-04 Luke Kenneth Casso... add extra argument (not used) to regfile.py
2020-06-04 Luke Kenneth Casso... use copy of FHDLTestCase
2020-06-04 Luke Kenneth Casso... missing a fastregs write-port
2020-06-03 Luke Kenneth Casso... connect read-enable and src_i to regfile ports
2020-06-03 Luke Kenneth Casso... start putting a non-production core together,
2020-06-03 Luke Kenneth Casso... decide to elaborate Refiles *into* another class, rathe...
2020-06-03 Luke Kenneth Casso... turn RegFiles into module, add all regfiles to it
2020-06-03 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org...
2020-06-03 Luke Kenneth Casso... add class containing all regfiles
2020-06-03 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org...
2020-06-02 Luke Kenneth Casso... decode fast spr for OP_BCREG CTR, TAR and LR
2020-06-02 Luke Kenneth Casso... whoops cut/paste error, creating write_ports not read_ports
2020-06-01 Michael NolanAdd proof for RegFile
2020-06-01 Michael NolanAdd proof for RegFileArray
2020-06-01 Michael NolanHave regfile use AnySeq instead of AnyConst
2020-06-01 Michael NolanEnable k-induction for register file proof
2020-06-01 Michael NolanThat was weird. For some reason it wasn't generating...
2020-06-01 Michael NolanFull BMC proof of Register
2020-06-01 Michael NolanBegin rewrite of proof_regfile.py
2020-05-29 Luke Kenneth Casso... interesting. use of Settle() works, showing that Regfi...
2020-05-28 Luke Kenneth Casso... messing about with proof_regfile.py
2020-05-28 colepoirierAdded Initial() synchronous check with draft truth
2020-05-28 Luke Kenneth Casso... hmm....
2020-05-28 colepoirierAdd sync Assert for _wrports 'wen' signal in proof_regf...
2020-05-27 Luke Kenneth Casso... do not use range(0, x) - just range(x)
2020-05-27 Luke Kenneth Casso... remove write-block on register zero
2020-05-27 colepoirierDerive proof_regfile Driver from regfile.Register(...
2020-05-27 colepoirierFix indentation of regfile/formal/proof_regfile.py
2020-05-27 colepoirierFirst commit of proof of regfile, not working yet
2020-05-27 Luke Kenneth Casso... add extra INT regs port for now, add Fast Regfile
2020-05-27 Luke Kenneth Casso... added XER and CR regfiles, using new VirtualRegPort
2020-05-26 Luke Kenneth Casso... check assertions
2020-05-26 Luke Kenneth Casso... make read/write regs properly internal
2020-05-26 Luke Kenneth Casso... add VirtualRegPort test, seems to demonstrate it working
2020-05-26 Luke Kenneth Casso... remove sync (not needed)
2020-05-26 Luke Kenneth Casso... get score6600_multi.py working again
2020-05-26 Luke Kenneth Casso... redo focus of virtual reg port to do only full datawidt...
2020-05-26 Luke Kenneth Casso... sort-of (maybe) implemented a virtual port on top of...
2020-05-26 Luke Kenneth Casso... try new variant of VirtualRegFile
2020-05-26 Luke Kenneth Casso... use nmutil treereduce
2020-05-26 Luke Kenneth Casso... continue virtual regfile port
2020-05-26 colepoirierFirst attempt at implementing block access rd and wr...
2020-05-25 Luke Kenneth Casso... correct links in regfile docstring
2020-05-25 Luke Kenneth Casso... document regfiles
2020-05-25 Luke Kenneth Casso... add INT, SPR and CR regfiles
2020-05-24 Luke Kenneth Casso... add stub regfiles.py
2020-03-09 Luke Kenneth Casso... move all source directories to soc so that "import...