projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3820efb) | patch
Add sync Assert for _wrports 'wen' signal in proof_regfile.py, proof
authorcolepoirier <colepoirier@gmail.com>
Thu, 28 May 2020 01:11:25 +0000 (18:11 -0700)
committercolepoirier <colepoirier@gmail.com>
Thu, 28 May 2020 01:11:25 +0000 (18:11 -0700)
commit133771e295ad523cb6c829a003f48ffdf30a3c65
treead08fe627d2bee1dabb90f560babdfe6e57ac1f0tree
parent3820efb1ba5aaa2e0c6ccedc0d6e1afd15ee9466commit | diff
Add sync Assert for _wrports 'wen' signal in proof_regfile.py, proof
still not working
src/soc/regfile/formal/proof_regfile.py diff | blob | history