projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / experiment / formal /
2023-11-05 Cesar StraussAllow the formal engine to perform a same-cycle result... master tree | commitdiff
2022-11-15 Cesar StraussKeep the valid signal from the formal engine ALU stable... tree | commitdiff
2022-10-28 Cesar StraussCheck that exactly one ALU write is made, per instruction tree | commitdiff
2022-10-28 Cesar StraussCheck cover and bmc in separate sub-tests tree | commitdiff
2022-10-24 Luke Kenneth Casso... only NLnet sponsor tree | commitdiff
2022-10-12 Cesar StraussCheck invariant for instruction operands tree | commitdiff
2022-10-12 Cesar StraussIf the ALU is idle, do not assert valid tree | commitdiff
2022-10-09 Cesar StraussCount zero_a and imm_data.ok as masked read transactions tree | commitdiff
2022-10-09 Cesar StraussDon't issue while busy tree | commitdiff
2022-10-08 Cesar StraussAdd count of masked reads tree | commitdiff
2022-10-08 Cesar StraussAdd ALU read transaction counter tree | commitdiff
2022-10-08 Cesar StraussAdd ALU write transaction counter tree | commitdiff
2022-10-08 Cesar StraussAdd write transaction counter tree | commitdiff
2022-10-05 Cesar StraussFix duplicate line (copy & paste error) tree | commitdiff
2022-10-01 Cesar StraussAdd counter for operand reads tree | commitdiff
2022-10-01 Cesar StraussAvoid toggling go_i when rel_o is low tree | commitdiff
2022-10-01 Cesar StraussLeave shadow / die proof for last tree | commitdiff
2022-10-01 Cesar StraussStart of formal proof of MultiCompUnit tree | commitdiff
2021-08-24 Luke Kenneth Casso... big rename, global/search/replace of ready_o with o_rea... tree | commitdiff
2021-02-16 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2021-02-15 Cole Poirierremove file experiment/formal/proof_icache.py as it... tree | commitdiff
2021-02-09 colepoirieradd missing newline at end of experiment/formal/.gitignore tree | commitdiff
2021-02-09 colepoirierfix erroneous removal of proof* from experiment/formal... tree | commitdiff
2021-02-07 colepoirieradd skeleton implementation of experiment/formal/proof_... tree | commitdiff
2021-02-07 colepoirierModify experiment/formal/.gitignore because was prevent... tree | commitdiff
2020-11-01 Cesar StraussAdd a check for liveness. tree | commitdiff
2020-10-31 Cesar StraussCheck that the read and write counters differ at most... tree | commitdiff
2020-09-20 Cesar StraussAdd induction proof for the FSM Shifter tree | commitdiff
2020-09-20 Cesar StraussAdd bounded proof to FSM Shifter tree | commitdiff
2020-09-20 Cesar StraussLet the formal engine create some test cases for the... tree | commitdiff
2020-07-29 Jacob Lifshayadd __init__.py to all source directories tree | commitdiff
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-07-04 Luke Kenneth Casso... add gitignores tree | commitdiff
2020-06-08 Luke Kenneth Casso... move datamerger proof into standard directory location... tree | commitdiff