diff --git a/sample-input/DNACompiler/0B/0x0B.v b/sample-input/DNACompiler/0B/0x0B.v
new file mode 100644
index 00000000..b486351c
--- /dev/null
+++ b/sample-input/DNACompiler/0B/0x0B.v
@@ -0,0 +1,17 @@
+module m0x0B(output out, input in1, in2, in3);
+
+   always @(in1, in2, in3)
+	 begin
+		case({in1, in2, in3})
+		  3'b000: {out} = 1'b0;
+		  3'b001: {out} = 1'b0;
+		  3'b010: {out} = 1'b0;
+		  3'b011: {out} = 1'b0;
+		  3'b100: {out} = 1'b1;
+		  3'b101: {out} = 1'b0;
+		  3'b110: {out} = 1'b1;
+		  3'b111: {out} = 1'b1;
+		endcase // case ({in1, in2, in3})
+	 end // always @ (in1, in2, in3)
+
+endmodule // m0x0B
diff --git a/sample-input/DNACompiler/0B/0x0B_netlistconstraints.json b/sample-input/DNACompiler/0B/0x0B_netlistconstraints.json
new file mode 100644
index 00000000..674e1577
--- /dev/null
+++ b/sample-input/DNACompiler/0B/0x0B_netlistconstraints.json
@@ -0,0 +1,11 @@
+[ {
+  "collection" : "input_sensors",
+  "sensor_map" : {
+    "in1" : "aTc_sensor",
+    "in2" : "Van_sensor",
+    "in3" : "OHC14_sensor"
+  }
+}, {
+  "collection" : "reporters",
+  "reporter_map" : { }
+} ]
\ No newline at end of file
diff --git a/sample-input/DNACompiler/F1/0xF1.v b/sample-input/DNACompiler/F1/0xF1.v
new file mode 100644
index 00000000..3915af9d
--- /dev/null
+++ b/sample-input/DNACompiler/F1/0xF1.v
@@ -0,0 +1,17 @@
+module m0xF1(output out, input in1, in2, in3);
+
+   always @(in1, in2, in3)
+	 begin
+		case({in1, in2, in3})
+		  3'b000: {out} = 1'b1;
+		  3'b001: {out} = 1'b1;
+		  3'b010: {out} = 1'b1;
+		  3'b011: {out} = 1'b1;
+		  3'b100: {out} = 1'b0;
+		  3'b101: {out} = 1'b0;
+		  3'b110: {out} = 1'b0;
+		  3'b111: {out} = 1'b1;
+		endcase // case ({in1, in2, in3})
+	 end // always @ (in1, in2, in3)
+
+endmodule // m0xF1
\ No newline at end of file
diff --git a/sample-input/DNACompiler/F1/0xF1_netlistconstraints.json b/sample-input/DNACompiler/F1/0xF1_netlistconstraints.json
new file mode 100644
index 00000000..baa0d2b6
--- /dev/null
+++ b/sample-input/DNACompiler/F1/0xF1_netlistconstraints.json
@@ -0,0 +1,11 @@
+[ {
+  "collection" : "input_sensors",
+  "sensor_map" : {
+    "in1" : "aTc_sensor",
+    "in2" : "OHC14_sensor",
+    "in3" : "Van_sensor"
+  }
+}, {
+  "collection" : "reporters",
+  "reporter_map" : { }
+} ]
\ No newline at end of file
diff --git a/sample-input/ucf b/sample-input/ucf
index e41da5b1..cfb4de1c 160000
--- a/sample-input/ucf
+++ b/sample-input/ucf
@@ -1 +1 @@
-Subproject commit e41da5b12b6a5755b540a8842d080d1eca09f241
+Subproject commit cfb4de1cf125a6fb5af1971730844ea5d0e91623