##// END OF EJS Templates
HG_REPOSITORIES » LPP » INSTRUMENTATION » USERS » PELLION » VHD_Lib
RSS

Clone from http://pc-instru.lpp.polytechnique.fr:5000/VHD_Lib

Fusion
Alexis Jeandet -
r675:1993321a17d7 merge default draft
parent child
Show More
Show file before | Show file after | Hide comments
@@ -1,8 +1,8
1 1 VHDLIB=../..
2 2 SCRIPTSDIR=$(VHDLIB)/scripts/
3 3 GRLIB := $(shell sh $(VHDLIB)/scripts/lpp_relpath.sh)
4 TOP=testbench
5 BOARD=LFR-EQM
4 TOP=TB
5 BOARD=LFR-FM
6 6 include $(VHDLIB)/boards/$(BOARD)/Makefile_RTAX.inc
7 7 DEVICE=$(PART)-$(PACKAGE)$(SPEED)
8 8 UCF=
@@ -11,8 +11,8 EFFORT=high
11 11 XSTOPT=
12 12 SYNPOPT=
13 13 VHDLSYNFILES=
14 VHDLSIMFILES= tb.vhd
15 SIMTOP=TB
14 VHDLSIMFILES= TB.vhd
15 SIMTOP=tb
16 16 CLEAN=soft-clean
17 17
18 18 TECHLIBS = axcelerator
Show file before | Show file after | Hide comments
@@ -21,8 +21,11
21 21 -------------------------------------------------------------------------------
22 22
23 23 LIBRARY IEEE;
24 use ieee.std_logic_textio.all;
24 25 USE IEEE.STD_LOGIC_1164.ALL;
25 26 USE IEEE.NUMERIC_STD.ALL;
27 use std.textio.all;
28
26 29
27 30 LIBRARY grlib;
28 31 USE grlib.amba.ALL;
@@ -63,7 +66,10 ARCHITECTURE beh OF TB IS
63 66 SIGNAL ASSERTION_1 : STD_LOGIC;
64 67 SIGNAL ASSERTION_2 : STD_LOGIC;
65 68 SIGNAL ASSERTION_3 : STD_LOGIC;
66
69 SIGNAL ASSERTION_3_ERROR : STD_LOGIC;
70
71 SIGNAL end_of_simu : STD_LOGIC := '0';
72
67 73 BEGIN -- beh
68 74
69 75 apb_lfr_management_1: apb_lfr_management
@@ -95,14 +101,28 BEGIN -- beh
95 101 fine_time => fine_time,
96 102
97 103 LFR_soft_rstn => OPEN);
104
105 -----------------------------------------------------------------------------
106 -- CLOCK GEN
107 PROCESS IS
108 BEGIN -- PROCESS
109 IF end_of_simu /= '1' THEN
110 clk25MHz <= NOT clk25MHz;
111 WAIT FOR 20000 ps;
112 ELSE
113 WAIT FOR 20 ps;
114 ASSERT false REPORT "END OF TEST" SEVERITY note;
115 WAIT;
116 END IF;
117 END PROCESS;
118 -----------------------------------------------------------------------------
98 119
99 clk25MHz <= NOT clk25MHz AFTER 20000 ps;
100 120
101 121 PROCESS
102 122 BEGIN -- PROCESS
103 123 WAIT UNTIL clk25MHz = '1';
104 TB_string <= "RESET ";
105
124 TB_string <= "RESET "; REPORT "RESET" SEVERITY note;
125
106 126 resetn <= '0';
107 127
108 128 apbi.psel(0) <= '0';
@@ -119,25 +139,25 BEGIN -- beh
119 139 -- DESYNC TO SYNC
120 140 ---------------------------------------------------------------------------
121 141 WAIT UNTIL clk25MHz = '1';
122 TB_string <= "TICK 1 ";
142 TB_string <= "TICK 1 "; REPORT "Tick 1" SEVERITY note;
123 143 grspw_tick <= '1';------------------------------------------------------1
124 144 WAIT UNTIL clk25MHz = '1';
125 145 grspw_tick <= '0';
126 146 WAIT FOR 53333 us;
127 147 WAIT UNTIL clk25MHz = '1';
128 TB_string <= "TICK 2 ";
148 TB_string <= "TICK 2 "; REPORT "Tick 2" SEVERITY note;
129 149 grspw_tick <= '1';------------------------------------------------------2
130 150 WAIT UNTIL clk25MHz = '1';
131 151 grspw_tick <= '0';
132 152 WAIT FOR 56000 us;
133 153 WAIT UNTIL clk25MHz = '1';
134 TB_string <= "TICK 3 ";
154 TB_string <= "TICK 3 "; REPORT "Tick 3" SEVERITY note;
135 155 grspw_tick <= '1';------------------------------------------------------3
136 156 WAIT UNTIL clk25MHz = '1';
137 157 grspw_tick <= '0';
138 158 WAIT FOR 200 ms;
139 159 WAIT UNTIL clk25MHz = '1';
140 TB_string <= "CT new ";
160 TB_string <= "CT new "; REPORT "CT new" SEVERITY note;
141 161 -- WRITE NEW COARSE_TIME
142 162 apbi.psel(0) <= '1';
143 163 apbi.pwrite <= '1';
@@ -154,7 +174,7 BEGIN -- beh
154 174
155 175 WAIT FOR 10 ms;
156 176 WAIT UNTIL clk25MHz = '1';
157 TB_string <= "TICK 4 ";
177 TB_string <= "TICK 4 "; REPORT "Tick 4" SEVERITY note;
158 178 grspw_tick <= '1';------------------------------------------------------3
159 179 WAIT UNTIL clk25MHz = '1';
160 180 grspw_tick <= '0';
@@ -162,7 +182,7 BEGIN -- beh
162 182
163 183 WAIT FOR 250 ms;
164 184 WAIT UNTIL clk25MHz = '1';
165 TB_string <= "CT new ";
185 TB_string <= "CT new "; REPORT "CT new" SEVERITY note;
166 186 -- WRITE NEW COARSE_TIME
167 187 apbi.psel(0) <= '1';
168 188 apbi.pwrite <= '1';
@@ -179,7 +199,7 BEGIN -- beh
179 199
180 200 WAIT FOR 10 ms;
181 201 WAIT UNTIL clk25MHz = '1';
182 TB_string <= "TICK 5 ";
202 TB_string <= "TICK 5 "; REPORT "Tick 5" SEVERITY note;
183 203 grspw_tick <= '1';------------------------------------------------------3
184 204 WAIT UNTIL clk25MHz = '1';
185 205 grspw_tick <= '0';
@@ -187,7 +207,7 BEGIN -- beh
187 207
188 208 WAIT FOR 20 ms;
189 209 WAIT UNTIL clk25MHz = '1';
190 TB_string <= "CT new ";
210 TB_string <= "CT new "; REPORT "CT new" SEVERITY note;
191 211 -- WRITE NEW COARSE_TIME
192 212 apbi.psel(0) <= '1';
193 213 apbi.pwrite <= '1';
@@ -204,7 +224,7 BEGIN -- beh
204 224
205 225 WAIT FOR 25 ms;
206 226 WAIT UNTIL clk25MHz = '1';
207 TB_string <= "Soft RST";
227 TB_string <= "Soft RST"; REPORT "Soft Reset" SEVERITY note;
208 228 -- WRITE SOFT RESET
209 229 apbi.psel(0) <= '1';
210 230 apbi.pwrite <= '1';
@@ -220,7 +240,19 BEGIN -- beh
220 240 WAIT UNTIL clk25MHz = '1';
221 241
222 242 WAIT FOR 250 ms;
223 TB_string <= "READ 1 ";
243 TB_string <= "READ 1 "; REPORT "Read 1" SEVERITY note;
244 apbi.psel(0) <= '1';
245 apbi.pwrite <= '0';
246 apbi.penable <= '1';
247 apbi.paddr <= X"00000008";
248 WAIT UNTIL clk25MHz = '1';
249 apbi.psel(0) <= '0';
250 apbi.pwrite <= '0';
251 apbi.penable <= '0';
252 apbi.paddr <= (OTHERS => '0');
253 WAIT UNTIL clk25MHz = '1';
254 WAIT FOR 250 ms;
255 TB_string <= "READ 2 "; REPORT "Read 2" SEVERITY note;
224 256 apbi.psel(0) <= '1';
225 257 apbi.pwrite <= '0';
226 258 apbi.penable <= '1';
@@ -232,7 +264,7 BEGIN -- beh
232 264 apbi.paddr <= (OTHERS => '0');
233 265 WAIT UNTIL clk25MHz = '1';
234 266 WAIT FOR 250 ms;
235 TB_string <= "READ 2 ";
267 TB_string <= "READ 3 "; REPORT "Read 3" SEVERITY note;
236 268 apbi.psel(0) <= '1';
237 269 apbi.pwrite <= '0';
238 270 apbi.penable <= '1';
@@ -243,22 +275,32 BEGIN -- beh
243 275 apbi.penable <= '0';
244 276 apbi.paddr <= (OTHERS => '0');
245 277 WAIT UNTIL clk25MHz = '1';
246 WAIT FOR 250 ms;
247 TB_string <= "READ 3 ";
248 apbi.psel(0) <= '1';
249 apbi.pwrite <= '0';
250 apbi.penable <= '1';
251 apbi.paddr <= X"00000008";
252 WAIT UNTIL clk25MHz = '1';
253 apbi.psel(0) <= '0';
254 apbi.pwrite <= '0';
255 apbi.penable <= '0';
256 apbi.paddr <= (OTHERS => '0');
257 WAIT UNTIL clk25MHz = '1';
278 WAIT FOR 10 ps;
279 end_of_simu <= '1';
280 REPORT "end_of_simu set to 1" SEVERITY note;
281
282 IF ASSERTION_1 = '1' THEN
283 REPORT "ASSERTION 1 : **UPDATE(CoarseTime) => RESET(fineTime)** OK" SEVERITY note;
284 ELSE
285 REPORT "ASSERTION 1 : **UPDATE(CoarseTime) => RESET(fineTime)** !! FAILED !!" SEVERITY note;
286 END IF;
258 287
288 IF ASSERTION_2 = '1' THEN
289 REPORT "ASSERTION 2 : **Tick => NEXT(fineTime) = RESET(fineTime) OK" SEVERITY note;
290 ELSE
291 REPORT "ASSERTION 2 : **Tick => NEXT(fineTime) = RESET(fineTime) !! FAILED !!" SEVERITY note;
292 END IF;
293
294 IF ASSERTION_3 = '1' THEN
295 REPORT "ASSERTION 3 : **NEXT(TIME) > TIME ** OK" SEVERITY note;
296 ELSE
297 REPORT "ASSERTION 3 : **NEXT(TIME) > TIME ** !! FAILED !!" SEVERITY note;
298 END IF;
259 299
260
261 REPORT "*** END simulation ***" SEVERITY failure;
300
301
302
303 ASSERT false REPORT "*** END simulation ***" SEVERITY note;
262 304 WAIT;
263 305
264 306 END PROCESS;
@@ -298,17 +340,26 BEGIN -- beh
298 340 -- False after a TRANSITION !
299 341 -----------------------------------------------------------------------------
300 342 PROCESS (clk25MHz, resetn)
343 VARIABLE coarse_time_integer : INTEGER;
301 344 BEGIN -- PROCESS
302 345 IF resetn = '0' THEN -- asynchronous reset (active low)
303 346 ASSERTION_1 <= '1';
304 347 ELSIF clk25MHz'event AND clk25MHz = '1' THEN -- rising clock edge
348 coarse_time_integer := to_integer(UNSIGNED(coarse_time));
349
305 350 IF coarse_time /= coarse_time_reg THEN
306 351 IF fine_time /= X"0000" THEN
307 352 IF fine_time /= X"0041" THEN
308 353 ASSERTION_1 <= '0';
354 REPORT "ASSERTION 1 : **UPDATE(CoarseTime) => RESET(fineTime)** !! FAILED !! " SEVERITY note;
309 355 ELSE
356 REPORT "ASSERTION 1 : **UPDATE(CoarseTime) => RESET(fineTime)** false after a transition" SEVERITY note;
310 357 ASSERTION_1 <= 'U';
311 358 END IF;
359 REPORT "COARSE_TIME_REG= " & integer'IMAGE(to_integer(UNSIGNED(coarse_time_reg))) SEVERITY note;
360 REPORT "COARSE_TIME = " & integer'IMAGE(to_integer(UNSIGNED(coarse_time ))) SEVERITY note;
361 REPORT "FINE_TIME_REG = " & integer'IMAGE(to_integer(UNSIGNED(fine_time_reg ))) SEVERITY note;
362 REPORT "FINE_TIME = " & integer'IMAGE(to_integer(UNSIGNED(fine_time ))) SEVERITY note;
312 363 ELSE
313 364 ASSERTION_1 <= '1';
314 365 END IF;
@@ -328,7 +379,12 BEGIN -- beh
328 379 IF tick_ongoing = '1' THEN
329 380 IF fine_time_reg /= fine_time OR coarse_time_reg /= coarse_time THEN
330 381 IF fine_time /= X"0000" THEN
382 REPORT "ASSERTION 2 : **Tick => NEXT(fineTime) = RESET(fineTime) !! FAILED !! " SEVERITY note;
331 383 ASSERTION_2 <= '0';
384 REPORT "COARSE_TIME_REG= " & integer'IMAGE(to_integer(UNSIGNED(coarse_time_reg))) SEVERITY note;
385 REPORT "COARSE_TIME = " & integer'IMAGE(to_integer(UNSIGNED(coarse_time ))) SEVERITY note;
386 REPORT "FINE_TIME_REG = " & integer'IMAGE(to_integer(UNSIGNED(fine_time_reg ))) SEVERITY note;
387 REPORT "FINE_TIME = " & integer'IMAGE(to_integer(UNSIGNED(fine_time ))) SEVERITY note;
332 388 END IF;
333 389 END IF;
334 390 END IF;
@@ -343,15 +399,21 BEGIN -- beh
343 399 PROCESS (clk25MHz, resetn)
344 400 BEGIN -- PROCESS
345 401 IF resetn = '0' THEN -- asynchronous reset (active low)
346 ASSERTION_3 <= '1';
402 ASSERTION_3 <= '1';
347 403 ELSIF clk25MHz'event AND clk25MHz = '1' THEN -- rising clock edge
348 404 ASSERTION_3 <= '1';
349 405 IF global_time_reg(46 DOWNTO 0) > global_time(46 DOWNTO 0) THEN
350 406 IF global_time(47) = '0' AND global_time_reg(47) = '1' THEN
407 REPORT "ASSERTION 3 : **NEXT(TIME) > TIME ** can be false after a resynchro" SEVERITY note;
351 408 ASSERTION_3 <= 'U'; -- RESYNCHRO ....
352 409 ELSE
410 REPORT "ASSERTION 3 : **NEXT(TIME) > TIME ** can be false after a NEW coarse time" SEVERITY note;
353 411 ASSERTION_3 <= '0';
354 412 END IF;
413 REPORT "COARSE_TIME_REG= " & integer'IMAGE(to_integer(UNSIGNED(coarse_time_reg))) SEVERITY note;
414 REPORT "COARSE_TIME = " & integer'IMAGE(to_integer(UNSIGNED(coarse_time ))) SEVERITY note;
415 REPORT "FINE_TIME_REG = " & integer'IMAGE(to_integer(UNSIGNED(fine_time_reg ))) SEVERITY note;
416 REPORT "FINE_TIME = " & integer'IMAGE(to_integer(UNSIGNED(fine_time ))) SEVERITY note;
355 417 END IF;
356 418 END IF;
357 419 END PROCESS;
General Comments 0
You need to be logged in to leave comments. Login now