diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
-rw-r--r-- | src/synth/netlists-utils.ads | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads new file mode 100644 index 000000000..60b8b7a7a --- /dev/null +++ b/src/synth/netlists-utils.ads @@ -0,0 +1,44 @@ +-- 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, write to the Free Software +-- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, +-- MA 02110-1301, USA. + +package Netlists.Utils is + 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; + + function Get_Input_Name (M : Module; I : Port_Idx) return Sname; + function Get_Output_Name (M : Module; I : Port_Idx) return Sname; + + -- 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 input I. If the driver of I has no output(s) connected, + -- disconnect and free it. + procedure Disconnect_And_Free (I : Input); +end Netlists.Utils; |