diff --git a/openfpga_flow/benchmarks/micro_benchmark/and2/and2.act b/openfpga_flow/benchmarks/micro_benchmark/and2/and2.act index 0f77bc6b3..06d40b7e4 100644 --- a/openfpga_flow/benchmarks/micro_benchmark/and2/and2.act +++ b/openfpga_flow/benchmarks/micro_benchmark/and2/and2.act @@ -1,3 +1,3 @@ -a 0.5 0.5 -b 0.5 0.5 -c 0.25 0.25 +a 0.479400 0.202400 +b 0.492200 0.201800 +c 0.232200 0.041515 diff --git a/openfpga_flow/benchmarks/micro_benchmark/and2/and2.blif b/openfpga_flow/benchmarks/micro_benchmark/and2/and2.blif index d13bdc564..12f61922a 100644 --- a/openfpga_flow/benchmarks/micro_benchmark/and2/and2.blif +++ b/openfpga_flow/benchmarks/micro_benchmark/and2/and2.blif @@ -1,8 +1,7 @@ -.model and2 -.inputs a b -.outputs c - -.names a b c -11 1 - -.end +# Benchmark "and2" written by ABC on Mon May 11 10:59:06 2020 +.model and2 +.inputs a b +.outputs c +.names a b c +11 1 +.end diff --git a/openfpga_flow/benchmarks/micro_benchmark/decoder_2_4/decoder_2_4.blif b/openfpga_flow/benchmarks/micro_benchmark/decoder_2_4/decoder_2_4.blif index d48e1758d..e17cf7406 100644 --- a/openfpga_flow/benchmarks/micro_benchmark/decoder_2_4/decoder_2_4.blif +++ b/openfpga_flow/benchmarks/micro_benchmark/decoder_2_4/decoder_2_4.blif @@ -1,4 +1,4 @@ -# Benchmark "decoder_2_4" written by ABC on Fri May 1 15:36:33 2020 +# Benchmark "decoder_2_4" written by ABC on Fri May 8 17:11:32 2020 .model decoder_2_4 .inputs in0 in1 .outputs out0 out1 out2 out3 diff --git a/openfpga_flow/benchmarks/micro_benchmark/routing_test/routing_test.blif b/openfpga_flow/benchmarks/micro_benchmark/routing_test/routing_test.blif index bf85b04b3..b6e7a061f 100755 --- a/openfpga_flow/benchmarks/micro_benchmark/routing_test/routing_test.blif +++ b/openfpga_flow/benchmarks/micro_benchmark/routing_test/routing_test.blif @@ -1,4 +1,4 @@ -# Benchmark "routing_test" written by ABC on Tue Apr 21 18:25:21 2020 +# Benchmark "routing_test" written by ABC on Mon May 11 10:36:39 2020 .model routing_test .inputs IN0 IN1 IN2 clk .outputs OUT0 OUT1 OUT2 diff --git a/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.act b/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.act index 44920c540..b0ffef12b 100644 --- a/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.act +++ b/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.act @@ -1,23 +1,19 @@ -a 0.5 0.2 -b 0.5 0.2 -clk 0.5 0.2 -out_0 0.5 0.2 -out_1 0.5 0.2 -out_2 0.5 0.2 -out_3 0.5 0.2 -sum_0 0.5 0.2 -sum_1 0.5 0.2 -sum_2 0.5 0.2 -sum_3 0.5 0.2 -sum_4 0.5 0.2 -sum_5 0.5 0.2 -sum_6 0.5 0.2 -sum_7 0.5 0.2 -pipe_a_0 0.5 0.2 -pipe_a_1 0.5 0.2 -pipe_b_0 0.5 0.2 -pipe_b_1 0.5 0.2 -pipe_sum_0 0.5 0.2 -pipe_sum_1 0.5 0.2 -pipe_sum_2 0.5 0.2 -pipe_sum_3 0.5 0.2 +a 0.492800 0.201000 +b 0.502000 0.197200 +clk 0.500000 2.000000 +out1 0.498800 0.503200 +out2 0.509400 0.518200 +out3 0.503600 0.482800 +out4 0.504200 0.514600 +pipe_b[0] 0.502000 0.197200 +pipe_b[1] 0.502000 0.197200 +pipe_a[0] 0.492800 0.201000 +pipe_a[1] 0.492600 0.201000 +n20 0.509400 0.021481 +n24 0.503600 0.020695 +n28 0.504200 0.023188 +n16 0.498800 0.063179 +n31 0.502000 0.098994 +n35 0.502000 0.098994 +n39 0.492800 0.099053 +n43 0.492600 0.099053 diff --git a/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.blif b/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.blif index fd6a62c17..b517a9a54 100644 --- a/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.blif +++ b/openfpga_flow/benchmarks/micro_benchmark/test_mode_low/test_mode_low.blif @@ -1,35 +1,70 @@ -.model test_mode_low -.inputs a b clk -.outputs out_0 out_1 out_2 out_3 - -#.subckt shift D=a clk=clk Q=pipe_a_0 -#.subckt shift D=pipe_a_0 clk=clk Q=pipe_a_1 -#.subckt shift D=b clk=clk Q=pipe_b_0 -#.subckt shift D=pipe_b_0 clk=clk Q=pipe_b_1 - - -.latch a pipe_a_0 re clk 0 -.latch pipe_a_0 pipe_a_1 re clk 0 -.latch b pipe_b_0 re clk 0 -.latch pipe_b_0 pipe_b_1 re clk 0 - -.latch sum_0 pipe_sum_0 re clk 0 -.latch sum_2 pipe_sum_1 re clk 0 -.latch sum_4 pipe_sum_2 re clk 0 -.latch sum_6 pipe_sum_3 re clk 0 - -.subckt adder a=pipe_a_1 b=pipe_b_1 cin=pipe_sum_3 cout=sum_1 sumout=sum_0 -.subckt adder a=pipe_sum_0 b=pipe_sum_2 cin=sum_1 cout=sum_3 sumout=sum_2 -.subckt adder a=pipe_sum_1 b=pipe_sum_3 cin=sum_3 cout=sum_5 sumout=sum_4 -.subckt adder a=pipe_sum_2 b=pipe_sum_0 cin=sum_5 cout=sum_7 sumout=sum_6 - -.names pipe_sum_0 out_0 -1 1 -.names pipe_sum_1 out_1 -1 1 -.names pipe_sum_2 out_2 -1 1 -.names pipe_sum_3 out_3 -1 1 - -.end +# Benchmark "test_mode_low" written by ABC on Mon May 11 11:00:52 2020 +.model test_mode_low +.inputs a b clk +.outputs out1 out2 out3 out4 + +.latch n16 out1 re clk 0 +.latch n20 out2 re clk 0 +.latch n24 out3 re clk 0 +.latch n28 out4 re clk 0 +.latch n31 pipe_b[0] re clk 0 +.latch n35 pipe_b[1] re clk 0 +.latch n39 pipe_a[0] re clk 0 +.latch n43 pipe_a[1] re clk 0 + +.names pipe_b[1] out4 pipe_a[1] out3 out1 n20 +-0001 1 +-0010 1 +-1100 1 +-1111 1 +0-001 1 +0-010 1 +00-01 1 +00-10 1 +1-100 1 +1-111 1 +11-00 1 +11-11 1 +.names pipe_b[1] out4 out3 pipe_a[1] out1 out2 n24 +-0-001 1 +-00-01 1 +-000-1 1 +-01-10 1 +-1-111 1 +-10-00 1 +-11-11 1 +-111-1 1 +0-0111 1 +0-1101 1 +01-000 1 +0100-0 1 +1-0011 1 +1-1001 1 +10-110 1 +1011-0 1 +.names pipe_b[1] pipe_a[1] out2 out4 out3 out1 n28 +---111 1 +--0001 1 +--0010 1 +--1-11 1 +--1100 1 +-0-001 1 +-0-010 1 +0--001 1 +0--010 1 +000-01 1 +000-10 1 +.names pipe_b[1] out4 pipe_a[1] n16 +001 1 +010 1 +100 1 +111 1 +.names b n31 +1 1 +.names pipe_b[0] n35 +1 1 +.names a n39 +1 1 +.names pipe_a[0] n43 +1 1 +.end