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
|
-- Netlist utilities (composed of a few calls).
-- 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 <gnu.org/licenses>.
with Ada.Unchecked_Deallocation;
with Dyn_Tables;
package Netlists.Utils is
type Net_Array_Acc is access Net_Array;
procedure Free_Net_Array is new Ada.Unchecked_Deallocation
(Net_Array, Net_Array_Acc);
type Instance_Array_Acc is access Instance_Array;
procedure Free_Instance_Array is new Ada.Unchecked_Deallocation
(Instance_Array, Instance_Array_Acc);
function Get_Nbr_Inputs (Inst : Instance) return Port_Nbr;
function Get_Nbr_Outputs (Inst : Instance) return Port_Nbr;
function Get_Nbr_Params (Inst : Instance) return Param_Nbr;
function Get_Param_Desc
(Inst : Instance; Param : Param_Idx) return Param_Desc;
function Get_Id (Inst : Instance) return Module_Id;
-- For the yosys plugin: name of a port or a parameter
function Get_Input_Name (M : Module; I : Port_Idx) return Sname;
function Get_Output_Name (M : Module; I : Port_Idx) return Sname;
function Get_Param_Name (M : Module; I : Param_Idx) return Sname;
function Get_Param_Type (M : Module; I : Param_Idx) return Param_Type;
-- For the yosys plugin: width of a port
function Get_Input_Width (M : Module; I : Port_Idx) return Width;
function Get_Output_Width (M : Module; I : Port_Idx) return Width;
-- For the yosys plugin: true if an output is also an input.
function Get_Inout_Flag (M : Module; I : Port_Idx) return Boolean;
-- Return the net (driver) connected to input IDX of INSTANCE.
function Get_Input_Net (Inst : Instance; Idx : Port_Idx) return Net;
-- Return the instance that drives input IDX of INST.
function Get_Input_Instance (Inst : Instance; Idx : Port_Idx)
return Instance;
-- Return True iff ID describe a constant.
function Is_Const_Net (N : Net) return Boolean;
-- Assuming that N is a const net, return the value (for small values).
function Get_Net_Uns64 (N : Net) return Uns64;
function Get_Net_Int64 (N : Net) return Int64;
pragma Inline (Get_Net_Int64);
-- Assuming that N is a const net, return the value at offset OFF.
procedure Get_Net_Element
(N : Net; Off : Uns32; Va : out Uns32; Zx : out Uns32);
-- Return True iff O has at least one sink (ie is connected to at least one
-- input).
function Is_Connected (O : Net) return Boolean;
-- Return True iff O has one sink (is connected to one input).
function Has_One_Connection (O : Net) return Boolean;
-- Disconnect an input and return the previous driver.
function Disconnect_And_Get (I : Input) return Net;
function Disconnect_And_Get (Inst : Instance; I : Port_Idx) return Net;
-- Return true IFF L and R is the same net.
-- Either because L = R (obvious case) or because both are the same
-- selection of the same net.
function Same_Net (L, R : Net) return Boolean;
-- Like Same_Net but for a clock. L and R must be both the output of
-- an edge detector.
function Same_Clock (L, R : Net) return Boolean;
-- If N is the output of a signal or isignal, return the driver of the
-- input.
function Skip_Signal (N : Net) return Net;
function Clog2 (W : Width) return Width;
-- Copy attribtues of SRC to DEST.
procedure Copy_Attributes (Dest : Instance; Src : Instance);
-- Used at many places.
package Net_Tables is new Dyn_Tables
(Table_Component_Type => Net,
Table_Index_Type => Int32,
Table_Low_Bound => 1);
package Instance_Tables is new Dyn_Tables
(Table_Component_Type => Instance,
Table_Index_Type => Int32,
Table_Low_Bound => 1);
end Netlists.Utils;
|
