aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/Main.hs2
-rw-r--r--test/simple.v23
2 files changed, 24 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs
index 6aff865..bc80b49 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -34,5 +34,5 @@ main :: IO FilePath
--main = sample (arbitrary :: Gen (Circuit Input))
main = do
gen <- withSystemRandom . asGenIO $ return
- gr <- wattsStrogatzGraph gen 50 3 0.6
+ gr <- wattsStrogatzGraph gen 100 2 0.6
runGraphviz (graphToDot nonClusteredParams (graphInfoToUGr gr)) Png "output.png"
diff --git a/test/simple.v b/test/simple.v
new file mode 100644
index 0000000..5198d3d
--- /dev/null
+++ b/test/simple.v
@@ -0,0 +1,23 @@
+module and_comb(in1, in2, out);
+ input in1;
+ input in2;
+ output out;
+
+ assign out = in1 & in2;
+endmodule
+
+module main;
+ reg a, b;
+ wire c;
+
+ and_comb gate(.in1(a), .in2(b), .out(c));
+
+ initial
+ begin
+ a = 1'b1;
+ b = 1'b1;
+ #1
+ $display("%d & %d = %d", a, b, c);
+ $finish;
+ end
+endmodule