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
|
-- Interpreted simulation
-- Copyright (C) 2014 Tristan Gingold
--
-- 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 System;
with Grt.Types; use Grt.Types;
with Vhdl.Nodes; use Vhdl.Nodes;
with Simul.Environments; use Simul.Environments;
package Simul.Simulation is
Trace_Simulation : Boolean := False;
Disp_Tree : Boolean := False;
Disp_Stats : Boolean := False;
Disp_Ams : Boolean := False;
type Resolv_Instance_Type is record
Func : Iir;
Block : Block_Instance_Acc;
Sig : Iir_Value_Literal_Acc;
end record;
type Resolv_Instance_Acc is access Resolv_Instance_Type;
-- The resolution procedure for GRT.
procedure Resolution_Proc (Instance_Addr : System.Address;
Val : System.Address;
Bool_Vec : System.Address;
Vec_Len : Ghdl_Index_Type;
Nbr_Drv : Ghdl_Index_Type;
Nbr_Ports : Ghdl_Index_Type);
pragma Convention (C, Resolution_Proc);
type Guard_Instance_Type is record
Instance : Block_Instance_Acc;
Guard : Iir;
end record;
type Guard_Instance_Acc is access Guard_Instance_Type;
function Guard_Func (Data : System.Address) return Ghdl_B1;
pragma Convention (C, Guard_Func);
function Execute_Signal_Value (Indirect: Iir_Value_Literal_Acc)
return Iir_Value_Literal_Acc;
function Execute_Event_Attribute (Lit: Iir_Value_Literal_Acc)
return Boolean;
function Execute_Active_Attribute (Lit: Iir_Value_Literal_Acc)
return Boolean;
function Execute_Driving_Attribute (Lit: Iir_Value_Literal_Acc)
return Boolean;
function Execute_Last_Value_Attribute (Indirect: Iir_Value_Literal_Acc)
return Iir_Value_Literal_Acc;
function Execute_Driving_Value_Attribute (Indirect: Iir_Value_Literal_Acc)
return Iir_Value_Literal_Acc;
-- Return the Last_Event absolute time.
function Execute_Last_Event_Attribute (Indirect: Iir_Value_Literal_Acc)
return Ghdl_I64;
function Execute_Last_Active_Attribute (Indirect: Iir_Value_Literal_Acc)
return Ghdl_I64;
-- Type for a transaction: it contains the value, the absolute time at which
-- the transaction should occur and a pointer to the next transaction.
-- This constitute a simple linked list, the elements must be ordered
-- according to time.
type Transaction_El_Type is record
-- The value of the waveform element.
-- Can't be an array.
-- Life must be target.
Value: Iir_Value_Literal_Acc;
-- After time at which the transaction should occur.
After : Grt.Types.Std_Time;
end record;
type Transaction_Array is array (Natural range <>) of Transaction_El_Type;
type Transaction_Type (Len : Natural) is record
-- Statement that created this transaction. Used to disp location
-- in case of error (constraint error).
Stmt: Iir;
Reject : Std_Time;
Els : Transaction_Array (1 .. Len);
end record;
procedure Assign_Value_To_Signal (Instance: Block_Instance_Acc;
Target: Iir_Value_Literal_Acc;
Transaction: Transaction_Type);
procedure Disconnect_Signal (Sig : Iir_Value_Literal_Acc);
-- Return true if the process should be suspended.
function Execute_Wait_Statement (Instance : Block_Instance_Acc;
Stmt: Iir_Wait_Statement)
return Boolean;
private
type Read_Signal_Value_Enum is
(Read_Signal_Last_Value,
-- For conversion functions.
Read_Signal_Driving_Value,
Read_Signal_Effective_Value,
-- 'Driving_Value
Read_Signal_Driver_Value);
function Execute_Read_Signal_Value (Sig: Iir_Value_Literal_Acc;
Attr : Read_Signal_Value_Enum)
return Iir_Value_Literal_Acc;
type Write_Signal_Enum is
(Write_Signal_Driving_Value,
Write_Signal_Effective_Value);
procedure Execute_Write_Signal (Sig: Iir_Value_Literal_Acc;
Val : Iir_Value_Literal_Acc;
Attr : Write_Signal_Enum);
end Simul.Simulation;
|
