-- Easy access to ports (of some gates). -- Copyright (C) 2017 Tristan Gingold -- -- This file is part of GHDL. -- -- This program is free software: you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation, either version 2 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. -- -- You should have received a copy of the GNU General Public License -- along with this program. If not, see . with Netlists.Gates; use Netlists.Gates; with Netlists.Utils; use Netlists.Utils; package body Netlists.Gates_Ports is function Get_Mux2_Sel (Inst : Instance) return Input is pragma Assert (Get_Id (Inst) = Id_Mux2); begin return Get_Input (Inst, 0); end Get_Mux2_Sel; function Get_Mux2_I0 (Inst : Instance) return Input is pragma Assert (Get_Id (Inst) = Id_Mux2); begin return Get_Input (Inst, 1); end Get_Mux2_I0; function Get_Mux2_I1 (Inst : Instance) return Input is pragma Assert (Get_Id (Inst) = Id_Mux2); begin return Get_Input (Inst, 2); end Get_Mux2_I1; end Netlists.Gates_Ports; N_ExSyn/Makefile'>logtreecommitdiffstats
path: root/manual/PRESENTATION_ExSyn/Makefile
blob: c34eae3ffcf9b90c565ae51a64a8e204f5fda2c9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
TARGETS += proc_01 proc_02 proc_03
TARGETS += opt_01 opt_02 opt_03 opt_04
TARGETS += memory_01 memory_02
TARGETS += techmap_01
TARGETS += abc_01

all: $(addsuffix .pdf,$(TARGETS))

define make_pdf_template
$(1).pdf: $(1)*.v $(1)*.ys
	../../yosys -p 'script $(1).ys; show -notitle -prefix $(1) -format pdf'
endef

$(foreach trg,$(TARGETS),$(eval $(call make_pdf_template,$(trg))))

clean:
	rm -f $(addsuffix .pdf,$(TARGETS))
	rm -f $(addsuffix .dot,$(TARGETS))