1 files changed, 12 insertions, 0 deletions
diff --git a/passes/sat/example.v b/passes/sat/example.v
new file mode 100644
index 00000000..45011f70
--- /dev/null
+++ b/passes/sat/example.v
@@ -0,0 +1,12 @@
+
+module example(a, y);
+
+input [15:0] a;
+output y;
+
+wire gt = a > 12345;
+wire lt = a < 12345;
+assign y = !gt && !lt;
+
+endmodule
+