aboutsummaryrefslogtreecommitdiffstats
path: root/manual/APPNOTE_011_Design_Investigation
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-11-28 13:48:38 +0100
committerClifford Wolf <clifford@clifford.at>2013-11-28 13:48:38 +0100
commit6dfb66d26298662b4e64d55cf3c9f07738528ebc (patch)
tree836083510396a150cb6668637757609354047f4c /manual/APPNOTE_011_Design_Investigation
parent5af7f4db72586a8cc8c1e685eb5af8f635e91718 (diff)
downloadyosys-6dfb66d26298662b4e64d55cf3c9f07738528ebc.tar.gz
yosys-6dfb66d26298662b4e64d55cf3c9f07738528ebc.tar.bz2
yosys-6dfb66d26298662b4e64d55cf3c9f07738528ebc.zip
Started writing appnote 011
Diffstat (limited to 'manual/APPNOTE_011_Design_Investigation')
-rw-r--r--manual/APPNOTE_011_Design_Investigation/.gitignore3
-rw-r--r--manual/APPNOTE_011_Design_Investigation/example.v5
-rw-r--r--manual/APPNOTE_011_Design_Investigation/example.ys6
-rw-r--r--manual/APPNOTE_011_Design_Investigation/make.sh6
4 files changed, 20 insertions, 0 deletions
diff --git a/manual/APPNOTE_011_Design_Investigation/.gitignore b/manual/APPNOTE_011_Design_Investigation/.gitignore
new file mode 100644
index 000000000..6d396bb3c
--- /dev/null
+++ b/manual/APPNOTE_011_Design_Investigation/.gitignore
@@ -0,0 +1,3 @@
+example_00.dot
+example_01.dot
+example_02.dot
diff --git a/manual/APPNOTE_011_Design_Investigation/example.v b/manual/APPNOTE_011_Design_Investigation/example.v
new file mode 100644
index 000000000..ec272011c
--- /dev/null
+++ b/manual/APPNOTE_011_Design_Investigation/example.v
@@ -0,0 +1,5 @@
+module example(input clk, a, b, c, output reg [1:0] y);
+always @(posedge clk)
+ if (c)
+ y <= c ? a + b : 2'd0;
+endmodule
diff --git a/manual/APPNOTE_011_Design_Investigation/example.ys b/manual/APPNOTE_011_Design_Investigation/example.ys
new file mode 100644
index 000000000..6c9ff7983
--- /dev/null
+++ b/manual/APPNOTE_011_Design_Investigation/example.ys
@@ -0,0 +1,6 @@
+read_verilog example.v
+show -format dot -prefix example_00
+proc
+show -format dot -prefix example_01
+opt
+show -format dot -prefix example_02
diff --git a/manual/APPNOTE_011_Design_Investigation/make.sh b/manual/APPNOTE_011_Design_Investigation/make.sh
new file mode 100644
index 000000000..31820695a
--- /dev/null
+++ b/manual/APPNOTE_011_Design_Investigation/make.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+../../yosys example.ys
+sed -i '/^label=/ d;' example_*.dot
+dot -Tpdf -o example_00.pdf example_00.dot
+dot -Tpdf -o example_01.pdf example_01.dot
+dot -Tpdf -o example_02.pdf example_02.dot