projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
If the ALU is idle, do not assert valid
[soc.git]
/
src
/
soc
/
experiment
/
formal
/
proof_compalu_multi.py
2022-10-12
Cesar Strauss
If the ALU is idle, do not assert valid
blob
|
commitdiff
|
raw
2022-10-09
Cesar Strauss
Count zero_a and imm_data.ok as masked read transactions
blob
|
commitdiff
|
raw
|
diff to current
2022-10-09
Cesar Strauss
Don't issue while busy
blob
|
commitdiff
|
raw
|
diff to current
2022-10-08
Cesar Strauss
Add count of masked reads
blob
|
commitdiff
|
raw
|
diff to current
2022-10-08
Cesar Strauss
Add ALU read transaction counter
blob
|
commitdiff
|
raw
|
diff to current
2022-10-08
Cesar Strauss
Add ALU write transaction counter
blob
|
commitdiff
|
raw
|
diff to current
2022-10-08
Cesar Strauss
Add write transaction counter
blob
|
commitdiff
|
raw
|
diff to current
2022-10-05
Cesar Strauss
Fix duplicate line (copy & paste error)
blob
|
commitdiff
|
raw
|
diff to current
2022-10-01
Cesar Strauss
Add counter for operand reads
blob
|
commitdiff
|
raw
|
diff to current
2022-10-01
Cesar Strauss
Avoid toggling go_i when rel_o is low
blob
|
commitdiff
|
raw
|
diff to current
2022-10-01
Cesar Strauss
Leave shadow / die proof for last
blob
|
commitdiff
|
raw
|
diff to current
2022-10-01
Cesar Strauss
Start of formal proof of MultiCompUnit
blob
|
commitdiff
|
raw
|
diff to current