diff --git a/openfpga_flow/benchmarks/micro_benchmark/and2/and2_frac_lut4_arith.eblif b/openfpga_flow/benchmarks/micro_benchmark/and2/and2_frac_lut4_arith.eblif
new file mode 100644
index 000000000..1e591e999
--- /dev/null
+++ b/openfpga_flow/benchmarks/micro_benchmark/and2/and2_frac_lut4_arith.eblif
@@ -0,0 +1,19 @@
+# This is an artificial microbenchmark
+# which is designed to validate the support
+# on using bitstream information from the .param 
+# attribute of hard macro of LUTs
+#
+.model and2
+.inputs a b
+.outputs c
+
+.subckt adder_lut4 in[1]=a in[0]=b lut4_out[0]=c
+.param LUT 1000100010001000
+
+.end
+
+.model adder_lut4
+.inputs in[3] in[2] in[1] in[0] cin
+.outputs lut4_out[0] cout
+.blackbox
+.end