RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git. https://git.warricklo.net/montreal/atom?h=master 2026-06-24T07:58:06+00:00 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> 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> 2026-06-19T06:20:11+00:00 Warrick Lo wlo@warricklo.net 2026-06-19T06:20:11+00:00 urn:sha1:c8261a040bf328d4d2296f0c91a85a4193195844 Successfully verifies the following requirements: * REQ-REGFILE-010 * REQ-REGFILE-020 * REQ-REGFILE-030 * REQ-REGFILE-041 * REQ-REGFILE-042 * REQ-REGFILE-043 * REQ-REGFILE-050 * REQ-REGFILE-051 * REQ-REGFILE-052 * REQ-REGFILE-053 * REQ-REGFILE-060 Verified through construction of regfile: * REQ-REGFILE-040 See-also: #14 Signed-off-by: Warrick Lo <wlo@warricklo.net>