aboutsummaryrefslogtreecommitdiff
path: root/verif/formal/regfile (follow)
AgeCommit message (Collapse)AuthorFilesLines
2026-06-24Add CI pipeline for formal verificationWarrick Lo2-271/+0
* 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-20Minor refactor to regfile formal test modulefeature/coreWarrick Lo2-56/+83
Signed-off-by: Warrick Lo <wlo@warricklo.net>
2026-06-18Add formal verification for regfileWarrick Lo2-0/+244
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>
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-17 11:21:44 +0000