montreal/verif/formal/regfile/regfile_fv.sv, branch feature/fu
RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git.
https://git.warricklo.net/montreal/atom?h=feature%2Ffu
2026-06-24T07:58:06+00:00
Add CI pipeline for formal verification
2026-06-24T07:58:06+00:00
Warrick Lo
wlo@warricklo.net
2026-06-24T07:58:06+00:00
urn:sha1:adce21a91f4b55cad1126fa4d453b4d6eef79f7f
* Add formal verification tests with sby to CI
* Fix reviewdog having insufficient API permissions
See-also: #15
Signed-off-by: Warrick Lo <wlo@warricklo.net>
Minor refactor to regfile formal test module
2026-06-20T11:50:19+00:00
Warrick Lo
wlo@warricklo.net
2026-06-20T11:50:19+00:00
urn:sha1:c348e393521750d8dd6d7ba57bd91e4b935dbbd7
Signed-off-by: Warrick Lo <wlo@warricklo.net>