projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29a6c5c) | patch
Begin a formal proof of the LVT-based 1W/1R wrapper
authorCesar Strauss <cestrauss@gmail.com>
Sun, 10 Apr 2022 15:21:14 +0000 (12:21 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 10 Apr 2022 15:21:14 +0000 (12:21 -0300)
commitf6edfaac40db9e2a5b2cd4308edee0f56560a1cf
treeb58c9adb8b4e2d0e63bba3ab9c0b7b0f053933ectree
parent29a6c5c3bb6a211a2e7031fcca7f86f39720f467commit | diff
Begin a formal proof of the LVT-based 1W/1R wrapper

Start with a Bounded Model Check, on the transparent case.
src/soc/regfile/sram_wrapper.py diff | blob | history