Add files via upload

vtr_flow/benchmarks/VIB/VIB_test_benchmarks/GrayCounter.blif

@@ -0,0 +1,51 @@
+# Generated by Yosys 0.38+46 (git sha1 UNKNOWN, gcc 11.4.0-1ubuntu1~22.04 -fPIC -Os)
+
+.model GrayCounter
+.inputs clk
+.outputs cnt_gray[0] cnt_gray[1] cnt_gray[2] cnt_gray[3]
+.names $false
+.names $true
+1
+.names $undef
+.names cnt[2] cnt[1] cnt_gray[1]
+01 1
+10 1
+.names cnt_gray[3] cnt[2] cnt_gray[2]
+01 1
+10 1
+.names cnt[1] cnt[0] cnt_gray[0]
+01 1
+10 1
+.names cnt[2] cnt[1] cnt[0] $auto$alumacc.cc:485:replace_alu$401.Y[2]
+011 1
+100 1
+101 1
+110 1
+.names cnt_gray[3] cnt[2] cnt[1] cnt[0] $auto$alumacc.cc:485:replace_alu$401.Y[3]
+0111 1
+1000 1
+1001 1
+1010 1
+1011 1
+1100 1
+1101 1
+1110 1
+.names cnt[0] $auto$alumacc.cc:485:replace_alu$401.X[0]
+0 1
+.subckt dff C=clk D=$auto$alumacc.cc:485:replace_alu$401.X[0] Q=cnt[0]
+.subckt dff C=clk D=cnt_gray[0] Q=cnt[1]
+.subckt dff C=clk D=$auto$alumacc.cc:485:replace_alu$401.Y[2] Q=cnt[2]
+.subckt dff C=clk D=$auto$alumacc.cc:485:replace_alu$401.Y[3] Q=cnt_gray[3]
+.names cnt[1] $auto$alumacc.cc:485:replace_alu$401.X[1]
+1 1
+.names cnt[2] $auto$alumacc.cc:485:replace_alu$401.X[2]
+1 1
+.names cnt_gray[3] $auto$alumacc.cc:485:replace_alu$401.X[3]
+1 1
+.names $auto$alumacc.cc:485:replace_alu$401.X[0] $auto$alumacc.cc:485:replace_alu$401.Y[0]
+1 1
+.names cnt_gray[0] $auto$alumacc.cc:485:replace_alu$401.Y[1]
+1 1
+.names cnt_gray[3] cnt[3]
+1 1
+.end