| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2026-06-20 | Minor refactor to regfile formal test modulefeature/core | Warrick Lo | 1 | -3/+3 | |
| Signed-off-by: Warrick Lo <wlo@warricklo.net> | |||||
| 2026-06-18 | Add formal verification for regfile | Warrick Lo | 1 | -0/+23 | |
| 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> | |||||
 |
index : montreal | |
| RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git. |
| aboutsummaryrefslogtreecommitdiff |