summaryrefslogtreecommitdiff
path: root/src/translate/grt/grt-sdf.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/translate/grt/grt-sdf.ads')
-rw-r--r--src/translate/grt/grt-sdf.ads131
1 files changed, 0 insertions, 131 deletions
diff --git a/src/translate/grt/grt-sdf.ads b/src/translate/grt/grt-sdf.ads
deleted file mode 100644
index fd05b9e..0000000
--- a/src/translate/grt/grt-sdf.ads
+++ /dev/null
@@ -1,131 +0,0 @@
--- GHDL Run Time (GRT) - SDF parser.
--- Copyright (C) 2002 - 2014 Tristan Gingold
---
--- GHDL 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, or (at your option) any later
--- version.
---
--- GHDL 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 GCC; see the file COPYING. If not, write to the Free
--- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
--- 02111-1307, USA.
---
--- As a special exception, if other files instantiate generics from this
--- unit, or you link this unit with other files to produce an executable,
--- this unit does not by itself cause the resulting executable to be
--- covered by the GNU General Public License. This exception does not
--- however invalidate any other reasons why the executable file might be
--- covered by the GNU Public License.
-with Grt.Types; use Grt.Types;
-
-package Grt.Sdf is
- type Edge_Type is
- (
- Edge_Error,
- Edge_None,
- Edge_Posedge,
- Edge_Negedge,
- Edge_01,
- Edge_10,
- Edge_0z,
- Edge_Z1,
- Edge_1z,
- Edge_Z0
- );
-
- type Timing_Generic_Kind is
- (
- Delay_Port,
- --Delay_Interconnect,
- --Delay_Device,
-
- -- Simple condition
- Delay_Iopath,
- Timingcheck_Width,
- Timingcheck_Period,
-
- -- Full condition
- Timingcheck_Setup,
- Timingcheck_Hold,
- Timingcheck_Recovery,
- Timingcheck_Skew,
- Timingcheck_Nochange,
- Timingcheck_Setuphold
- );
-
- subtype Timing_Generic_Simple_Condition is Timing_Generic_Kind
- range Delay_Iopath .. Timingcheck_Period;
-
- subtype Timing_Generic_Full_Condition is Timing_Generic_Kind
- range Timingcheck_Setup .. Timingcheck_Setuphold;
-
- type Sdf_Version_Type is
- (
- Sdf_2_1,
- Sdf_Version_Unknown,
- Sdf_Version_Bad
- );
-
- Read_Size : constant Natural := 4096;
- Buf_Size : constant Natural := Read_Size + 1024 + 1;
-
- Invalid_Dnumber : constant Ghdl_I32 := -1;
-
- type Port_Spec_Type is record
- -- Port identifier.
- Name : String (1 .. 128);
- Name_Len : Natural;
-
- -- Left and Right range.
- -- If L = R = Invalid_Dnumber, this is a simple scalar port.
- -- If R = Invalid_Dnumber, this is a scalar port (from a vector)
- -- Otherwise, this is a bus port.
- L, R : Ghdl_I32;
-
- -- Cond : String (1 .. 1024);
- -- Cond_Len : Natural;
-
- Edge : Edge_Type;
- end record;
-
- type Port_Spec_Array_Type is array (Natural range <>) of Port_Spec_Type;
-
- type Ghdl_I64_Array is array (1 .. 12) of Ghdl_I64;
- type Boolean_Array is array (1 .. 12) of Boolean;
-
- type Sdf_Context_Type is record
- -- Version of the SDF file.
- Version : Sdf_Version_Type;
-
- -- Timescale; 1 corresponds to 1 ps.
- -- Default is 1000 (1 ns).
- Timescale : Natural;
-
- Kind : Timing_Generic_Kind;
-
- -- Cell type.
- Celltype : String (1 .. 128);
- Celltype_Len : Natural;
-
- -- Current port.
- Port_Num : Natural;
- Ports : Port_Spec_Array_Type (1 .. 2);
-
- -- timing spec.
- Timing : Ghdl_I64_Array;
- Timing_Set : Boolean_Array;
- Timing_Nbr : Natural;
- end record;
-
- -- Which value is extracted.
- type Mtm_Type is (Minimum, Typical, Maximum);
- Sdf_Mtm : Mtm_Type := Typical;
-
- function Parse_Sdf_File (Filename : String) return Boolean;
-end Grt.Sdf;