Run formal proof on both types (even/odd) of phased SRAMs
authorCesar Strauss <cestrauss@gmail.com>
Sun, 3 Apr 2022 19:31:13 +0000 (16:31 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 3 Apr 2022 19:31:13 +0000 (16:31 -0300)
commita25051acee0ee21566cd6957e3f5382317f0ef80
treea19f845bb92605d0b395c4956471b1bbc03dd48f
parent472abdbdc5f9f2daab4e3acb749cc7d5595ecf9f
Run formal proof on both types (even/odd) of phased SRAMs
src/soc/regfile/sram_wrapper.py