diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-11-28 13:48:38 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-11-28 13:48:38 +0100 |
commit | 6dfb66d26298662b4e64d55cf3c9f07738528ebc (patch) | |
tree | 836083510396a150cb6668637757609354047f4c /manual/APPNOTE_011_Design_Investigation | |
parent | 5af7f4db72586a8cc8c1e685eb5af8f635e91718 (diff) | |
download | yosys-6dfb66d26298662b4e64d55cf3c9f07738528ebc.tar.gz yosys-6dfb66d26298662b4e64d55cf3c9f07738528ebc.tar.bz2 yosys-6dfb66d26298662b4e64d55cf3c9f07738528ebc.zip |
Started writing appnote 011
Diffstat (limited to 'manual/APPNOTE_011_Design_Investigation')
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 |