Update Cello-UCF.

Author: Timothy Jones

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

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" : { }
+} ]

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

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" : { }
+} ]