aboutsummaryrefslogtreecommitdiff
path: root/dv/formal/simple_alu/simple_alu_top_fv.sv (follow)
AgeCommit message (Collapse)AuthorFilesLines
2026-06-24Add CI pipeline for formal verificationWarrick Lo1-0/+37
* 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>
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-17 11:52:56 +0000