aboutsummaryrefslogtreecommitdiffstats
path: root/manual/PRESENTATION_ExSyn
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-06-21 16:33:33 +0200
committerClifford Wolf <clifford@clifford.at>2014-06-21 16:33:33 +0200
commitb18fa95d2f1f4118cdb7c16e3415059bd81e2325 (patch)
tree68ba5ef340312a0d5f3a63108dddf034e8e6dba6 /manual/PRESENTATION_ExSyn
parent1c85584fe5843a43590de3927fe9bde74a04e72e (diff)
downloadyosys-b18fa95d2f1f4118cdb7c16e3415059bd81e2325.tar.gz
yosys-b18fa95d2f1f4118cdb7c16e3415059bd81e2325.tar.bz2
yosys-b18fa95d2f1f4118cdb7c16e3415059bd81e2325.zip
Progress in presentation
Diffstat (limited to 'manual/PRESENTATION_ExSyn')
-rw-r--r--manual/PRESENTATION_ExSyn/Makefile2
-rw-r--r--manual/PRESENTATION_ExSyn/techmap_01_map.v6
2 files changed, 4 insertions, 4 deletions
diff --git a/manual/PRESENTATION_ExSyn/Makefile b/manual/PRESENTATION_ExSyn/Makefile
index bcff48aad..c34eae3ff 100644
--- a/manual/PRESENTATION_ExSyn/Makefile
+++ b/manual/PRESENTATION_ExSyn/Makefile
@@ -8,7 +8,7 @@ TARGETS += abc_01
all: $(addsuffix .pdf,$(TARGETS))
define make_pdf_template
-$(1).pdf: $(1).v $(1).ys
+$(1).pdf: $(1)*.v $(1)*.ys
../../yosys -p 'script $(1).ys; show -notitle -prefix $(1) -format pdf'
endef
diff --git a/manual/PRESENTATION_ExSyn/techmap_01_map.v b/manual/PRESENTATION_ExSyn/techmap_01_map.v
index 64c0b87c5..4fd86e854 100644
--- a/manual/PRESENTATION_ExSyn/techmap_01_map.v
+++ b/manual/PRESENTATION_ExSyn/techmap_01_map.v
@@ -13,9 +13,9 @@ output [Y_WIDTH-1:0] Y;
generate
if ((A_WIDTH == 32) && (B_WIDTH == 32))
begin
- wire [15:0] CARRY = |{A[15:0], B[15:0]} && ~|Y[15:0];
- assign Y[15:0] = A[15:0] + B[15:0];
- assign Y[31:16] = A[31:16] + B[31:16] + CARRY;
+ wire [16:0] S1 = A[15:0] + B[15:0];
+ wire [15:0] S2 = A[31:16] + B[31:16] + S1[16];
+ assign Y = {S2[15:0], S1[15:0]};
end
else
wire _TECHMAP_FAIL_ = 1;