Add tests for $countbits

2026-08-22 14:17:27 +02:00 · 2021-02-26 12:28:58 -05:00
parent 04b41ed04a
commit d56b76bd7c
2 changed files with 76 additions and 0 deletions
@@ -0,0 +1,7 @@
+read_verilog -sv countbits.sv
+hierarchy
+proc
+flatten
+opt -full
+select -module top
+sat -verify -seq 1 -tempinduct -prove-asserts -show-all