projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9cc8a5) | patch
Start of formal proof of MultiCompUnit
authorCesar Strauss <cestrauss@gmail.com>
Sat, 1 Oct 2022 14:48:19 +0000 (11:48 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 1 Oct 2022 14:48:19 +0000 (11:48 -0300)
commite33da1093516e48b93bd7a0807658e5cd9f90d1c
tree87915be686d013ac95590593e61f54a21a34d39atree
parentf9cc8a5bd4220f3ed4b739fbe460c5b94234e3bbcommit | diff
Start of formal proof of MultiCompUnit

Create a "random" ALU, controlled by the formal engine.
Add an "issue" transaction counter and ask the fomal engine to
give an example.
src/soc/experiment/formal/proof_compalu_multi.py [new file with mode: 0644] blob