projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c45013d) | patch
Use the DummyALU regspec and its corresponding OpSubset
authorCesar Strauss <cestrauss@gmail.com>
Sat, 5 Dec 2020 12:37:18 +0000 (09:37 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 5 Dec 2020 12:37:18 +0000 (09:37 -0300)
commitc541a3bfcec8e808ed4d5dac7c57705e0f846799
treec2bbd024fc4880fb7cbb0358472a53feb5ce299btree
parentc45013d758293bd563646a56e660ec82176c34eecommit | diff
Use the DummyALU regspec and its corresponding OpSubset
src/soc/fu/compunits/formal/proof_fu.py diff | blob | history