1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
|
-- API to build a netlist.
-- 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, write to the Free Software
-- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
-- MA 02110-1301, USA.
with Ada.Unchecked_Deallocation;
with Netlists.Gates; use Netlists.Gates;
package Netlists.Builders is
type Context is private;
type Context_Acc is access Context;
type Uns32_Arr is array (Natural range <>) of Uns32;
type Uns32_Arr_Acc is access Uns32_Arr;
procedure Unchecked_Deallocate is new Ada.Unchecked_Deallocation
(Uns32_Arr, Uns32_Arr_Acc);
function New_Internal_Name (Ctxt : Context_Acc; Prefix : Sname := No_Sname)
return Sname;
-- Create a builder for Design. Must be called once.
function Build_Builders (Design : Module) return Context_Acc;
-- Set the parent for the new instances.
procedure Set_Parent (Ctxt : Context_Acc; Parent : Module);
function Build_Dyadic (Ctxt : Context_Acc;
Id : Dyadic_Module_Id;
L, R : Net) return Net;
function Build_Shift_Rotate (Ctxt : Context_Acc;
Id : Shift_Rotate_Module_Id;
L, R : Net) return Net;
function Build_Monadic (Ctxt : Context_Acc;
Id : Monadic_Module_Id;
Op : Net) return Net;
function Build_Compare (Ctxt : Context_Acc;
Id : Compare_Module_Id;
L, R : Net) return Net;
function Build_Reduce (Ctxt : Context_Acc;
Id : Reduce_Module_Id;
Op : Net) return Net;
function Build_Const_X (Ctxt : Context_Acc;
W : Width) return Net;
function Build_Const_Z (Ctxt : Context_Acc;
W : Width) return Net;
function Build_Const_UB32 (Ctxt : Context_Acc;
Val : Uns32;
W : Width) return Net;
function Build_Const_UL32 (Ctxt : Context_Acc;
Val : Uns32;
Xz : Uns32;
W : Width) return Net;
function Build_Const_SB32 (Ctxt : Context_Acc;
Val : Int32;
W : Width) return Net;
-- Large constants.
-- Bit means only 0 or 1.
-- Log means 0/1/Z/X. Parameters 2N are aval, 2N+1 are bval.
function Build_Const_Bit (Ctxt : Context_Acc;
W : Width) return Instance;
function Build_Const_Log (Ctxt : Context_Acc;
W : Width) return Instance;
function Build_Edge (Ctxt : Context_Acc; Src : Net) return Net;
function Build_Mux2 (Ctxt : Context_Acc;
Sel : Net;
I0, I1 : Net) return Net;
function Build_Mux4 (Ctxt : Context_Acc;
Sel : Net;
I0, I1, I2, I3 : Net) return Net;
-- Build: I0 & I1 [ & I2 [ & I3 ]]
function Build_Concat2 (Ctxt : Context_Acc; I0, I1 : Net) return Net;
function Build_Concat3 (Ctxt : Context_Acc; I0, I1, I2 : Net) return Net;
function Build_Concat4 (Ctxt : Context_Acc; I0, I1, I2, I3 : Net)
return Net;
-- NBR_INPUTS is the number of inputs ports, W is the width of the
-- output.
function Build_Concatn (Ctxt : Context_Acc; W : Width; Nbr_Inputs : Uns32)
return Net;
function Build_Trunc
(Ctxt : Context_Acc; Id : Module_Id; I : Net; W : Width) return Net;
function Build_Extend
(Ctxt : Context_Acc; Id : Module_Id; I : Net; W : Width) return Net;
function Build_Extract
(Ctxt : Context_Acc; I : Net; Off, W : Width) return Net;
function Build_Extract_Bit
(Ctxt : Context_Acc; I : Net; Off : Width) return Net;
function Build_Dyn_Extract
(Ctxt : Context_Acc; I : Net; P : Net; Off : Uns32; W : Width) return Net;
function Build_Dyn_Insert
(Ctxt : Context_Acc; I : Net; V : Net; P : Net; Off : Uns32) return Net;
function Build_Memidx
(Ctxt : Context_Acc;
I : Net; Step : Uns32; Max : Uns32; W : Width) return Net;
function Build_Addidx (Ctxt : Context_Acc; L, R : Net) return Net;
function Build_Memory (Ctxt : Context_Acc; W : Width) return Net;
function Build_Memory_Init (Ctxt : Context_Acc; W : Width; Init : Net)
return Net;
function Build_Mem_Rd
(Ctxt : Context_Acc; Pport : Net; Addr : Net; Data_W : Width)
return Instance;
function Build_Mem_Rd_Sync
(Ctxt : Context_Acc; Pport : Net; Addr : Net; Clk : Net; Data_W : Width)
return Instance;
function Build_Mem_Wr_Sync (Ctxt : Context_Acc;
Pport : Net;
Addr : Net;
Clk : Net;
En : Net;
Data : Net) return Instance;
function Build_Output (Ctxt : Context_Acc; W : Width) return Net;
function Build_Signal (Ctxt : Context_Acc; Name : Sname; W : Width)
return Net;
function Build_Isignal (Ctxt : Context_Acc; Name : Sname; Init : Net)
return Net;
function Build_Port (Ctxt : Context_Acc; N : Net) return Net;
function Build_Assert (Ctxt : Context_Acc; Name : Sname; Cond : Net)
return Instance;
function Build_Assume (Ctxt : Context_Acc; Name : Sname; Cond : Net)
return Instance;
function Build_Cover (Ctxt : Context_Acc; Name : Sname; Cond : Net)
return Instance;
function Build_Assert_Cover (Ctxt : Context_Acc; Name : Sname; Cond : Net)
return Instance;
function Build_Formal_Input
(Ctxt : Context_Acc; Id : Formal_Module_Id; W : Width) return Net;
-- A simple flip-flop.
function Build_Dff (Ctxt : Context_Acc;
Clk : Net;
D : Net) return Net;
-- A flip-flop with an initial value (only for fpga)
-- The width is derived from INIT and D can be No_Net.
function Build_Idff (Ctxt : Context_Acc;
Clk : Net;
D : Net;
Init : Net) return Net;
function Build_Adff (Ctxt : Context_Acc;
Clk : Net;
D : Net; Rst : Net; Rst_Val : Net) return Net;
function Build_Iadff (Ctxt : Context_Acc;
Clk : Net;
D : Net; Rst : Net; Rst_Val : Net;
Init : Net) return Net;
private
type Module_Arr is array (Module_Id range <>) of Module;
type Context is record
Design : Module;
Parent : Module;
Num : Uns32;
M_Dyadic : Module_Arr (Dyadic_Module_Id);
M_Shift_Rotate : Module_Arr (Shift_Rotate_Module_Id);
M_Monadic : Module_Arr (Monadic_Module_Id);
M_Compare : Module_Arr (Compare_Module_Id);
M_Concat : Module_Arr (Concat_Module_Id);
M_Concatn : Module;
M_Const_UB32 : Module;
M_Const_SB32 : Module;
M_Const_UL32 : Module;
M_Const_X : Module;
M_Const_Z : Module;
M_Const_Bit : Module;
M_Const_Log : Module;
M_Edge : Module;
M_Mux2 : Module;
M_Mux4 : Module;
M_Output : Module;
M_Signal : Module;
M_Isignal : Module;
M_Port : Module;
M_Dff : Module;
M_Idff : Module;
M_Adff : Module;
M_Iadff : Module;
M_Truncate : Module_Arr (Truncate_Module_Id);
M_Extend : Module_Arr (Extend_Module_Id);
M_Reduce : Module_Arr (Reduce_Module_Id);
M_Extract : Module;
M_Dyn_Extract : Module;
M_Dyn_Insert : Module;
M_Memidx : Module;
M_Addidx : Module;
M_Memory : Module;
M_Memory_Init : Module;
M_Mem_Rd : Module;
M_Mem_Rd_Sync : Module;
M_Mem_Wr_Sync : Module;
M_Assert : Module;
M_Assume : Module;
M_Cover : Module;
M_Assert_Cover : Module;
M_Formal_Input : Module_Arr (Formal_Module_Id);
end record;
end Netlists.Builders;
|
