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 / proof_compalu_multi.py
2023-11-05 Cesar StraussAllow the formal engine to perform a same-cycle result... master commit | commitdiff
2022-11-15 Cesar StraussKeep the valid signal from the formal engine ALU stable... commit | commitdiff
2022-10-28 Cesar StraussCheck that exactly one ALU write is made, per instruction commit | commitdiff
2022-10-28 Cesar StraussCheck cover and bmc in separate sub-tests commit | commitdiff
2022-10-24 Luke Kenneth Casso... only NLnet sponsor commit | commitdiff
2022-10-12 Cesar StraussCheck invariant for instruction operands commit | commitdiff
2022-10-12 Cesar StraussIf the ALU is idle, do not assert valid commit | commitdiff
2022-10-09 Cesar StraussCount zero_a and imm_data.ok as masked read transactions commit | commitdiff
2022-10-09 Cesar StraussDon't issue while busy commit | commitdiff
2022-10-08 Cesar StraussAdd count of masked reads commit | commitdiff
2022-10-08 Cesar StraussAdd ALU read transaction counter commit | commitdiff
2022-10-08 Cesar StraussAdd ALU write transaction counter commit | commitdiff
2022-10-08 Cesar StraussAdd write transaction counter commit | commitdiff
2022-10-05 Cesar StraussFix duplicate line (copy & paste error) commit | commitdiff
2022-10-01 Cesar StraussAdd counter for operand reads commit | commitdiff
2022-10-01 Cesar StraussAvoid toggling go_i when rel_o is low commit | commitdiff
2022-10-01 Cesar StraussLeave shadow / die proof for last commit | commitdiff
2022-10-01 Cesar StraussStart of formal proof of MultiCompUnit commit | commitdiff