projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58d2d83) | patch
Added Initial() synchronous check with draft truth
authorcolepoirier <colepoirier@gmail.com>
Thu, 28 May 2020 21:58:03 +0000 (14:58 -0700)
committercolepoirier <colepoirier@gmail.com>
Thu, 28 May 2020 21:58:03 +0000 (14:58 -0700)
commit3e8a8d1921a136451e282b375a2d35a868d84f01
tree9a1568a3a6b415192b2ff42b565e2028f89936a4tree
parent58d2d830f087c5edecbbf68ea24336c622ff9149commit | diff
Added Initial() synchronous check with draft truth
table for rp.ren and wp.wen of Register() in proof_regfile
src/soc/regfile/formal/proof_regfile.py diff | blob | history