aboutsummaryrefslogtreecommitdiff
path: root/verif/formal/simple_alu/simple_alu_bind.sv (follow)
AgeCommit message (Expand)AuthorFilesLines
2026-05-19Pass linterChat1-1/+1
2026-05-14Add simple_alu RTL and formal verificationChat1-0/+15