87_control_stim.vhd

这是一个对于初学者很好的vhdl实验的一些例子,希望站长的支持哦

assert (push = '0')
report
"Assert 118 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 119 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0001";
CCEN_BAR <= '0';
CC_BAR <= '0';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 10

assert (PL_BAR = '0')
report
"Assert 120 : < PL_BAR /= 0 >" -- 	Vector No: 10
severity warning;

assert (VECT_BAR = '1')
report
"Assert 121 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 122 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 123 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 124 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 125 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 126 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 127 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 128 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 129 : < clear /= 0 >"
severity warning;

assert (push = '1')
report
"Assert 130 : < push /= 1 >"
severity warning;

assert (pop = '0')
report
"Assert 131 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0001";
CCEN_BAR <= '0';
CC_BAR <= '0';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 11

assert (PL_BAR = '0')
report
"Assert 132 : < PL_BAR /= 0 >" -- 	Vector No: 11
severity warning;

assert (VECT_BAR = '1')
report
"Assert 133 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 134 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 135 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 136 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 137 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 138 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 139 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 140 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 141 : < clear /= 0 >"
severity warning;

assert (push = '1')
report
"Assert 142 : < push /= 1 >"
severity warning;

assert (pop = '0')
report
"Assert 143 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0001";
CCEN_BAR <= '1';
CC_BAR <= '1';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 12

assert (PL_BAR = '0')
report
"Assert 144 : < PL_BAR /= 0 >" -- 	Vector No: 12
severity warning;

assert (VECT_BAR = '1')
report
"Assert 145 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 146 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 147 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 148 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 149 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 150 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 151 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 152 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 153 : < clear /= 0 >"
severity warning;

assert (push = '1')
report
"Assert 154 : < push /= 1 >"
severity warning;

assert (pop = '0')
report
"Assert 155 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0001";
CCEN_BAR <= '1';
CC_BAR <= '1';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 13

assert (PL_BAR = '0')
report
"Assert 156 : < PL_BAR /= 0 >" -- 	Vector No: 13
severity warning;

assert (VECT_BAR = '1')
report
"Assert 157 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 158 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 159 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 160 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 161 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 162 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 163 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 164 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 165 : < clear /= 0 >"
severity warning;

assert (push = '1')
report
"Assert 166 : < push /= 1 >"
severity warning;

assert (pop = '0')
report
"Assert 167 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0001";
CCEN_BAR <= '1';
CC_BAR <= '0';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 14

assert (PL_BAR = '0')
report
"Assert 168 : < PL_BAR /= 0 >" -- 	Vector No: 14
severity warning;

assert (VECT_BAR = '1')
report
"Assert 169 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 170 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 171 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 172 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 173 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 174 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 175 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 176 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 177 : < clear /= 0 >"
severity warning;

assert (push = '1')
report
"Assert 178 : < push /= 1 >"
severity warning;

assert (pop = '0')
report
"Assert 179 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0001";
CCEN_BAR <= '1';
CC_BAR <= '0';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 15

assert (PL_BAR = '0')
report
"Assert 180 : < PL_BAR /= 0 >" -- 	Vector No: 15
severity warning;

assert (VECT_BAR = '1')
report
"Assert 181 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '1')
report
"Assert 182 : < MAP_BAR /= 1 >"
severity warning;

assert (R_sel = '0')
report
"Assert 183 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 184 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 185 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 186 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 187 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 188 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 189 : < clear /= 0 >"
severity warning;

assert (push = '1')
report
"Assert 190 : < push /= 1 >"
severity warning;

assert (pop = '0')
report
"Assert 191 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
-- *********
-- * I = 2 *
-- *********
--------------------------

I <= "0010";
CCEN_BAR <= '0';
CC_BAR <= '1';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 16

assert (PL_BAR = '1')
report
"Assert 192 : < PL_BAR /= 1 >" -- 	Vector No: 16
severity warning;

assert (VECT_BAR = '1')
report
"Assert 193 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 194 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 195 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 196 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 197 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 198 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 199 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 200 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 201 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 202 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 203 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0010";
CCEN_BAR <= '0';
CC_BAR <= '1';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 17

assert (PL_BAR = '1')
report
"Assert 204 : < PL_BAR /= 1 >" -- 	Vector No: 17
severity warning;

assert (VECT_BAR = '1')
report
"Assert 205 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 206 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 207 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 208 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 209 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 210 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 211 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 212 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 213 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 214 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 215 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0010";
CCEN_BAR <= '0';
CC_BAR <= '0';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 18

assert (PL_BAR = '1')
report
"Assert 216 : < PL_BAR /= 1 >" -- 	Vector No: 18
severity warning;

assert (VECT_BAR = '1')
report
"Assert 217 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 218 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 219 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 220 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 221 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 222 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 223 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 224 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 225 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 226 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 227 : < pop /= 0 >"
severity warning;

wait for 1 ns;

--------------------------

I <= "0010";
CCEN_BAR <= '0';
CC_BAR <= '0';
Rzero_bar <= '0';

wait for 1 ns; --	 Cycle No: 19

assert (PL_BAR = '1')
report
"Assert 228 : < PL_BAR /= 1 >" -- 	Vector No: 19
severity warning;

assert (VECT_BAR = '1')
report
"Assert 229 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 230 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 231 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 232 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 233 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 234 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 235 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 236 : < load /= 0 >"
severity warning;

assert (clear = '0')
report
"Assert 237 : < clear /= 0 >"
severity warning;

assert (push = '0')
report
"Assert 238 : < push /= 0 >"
severity warning;

assert (pop = '0')
report
"Assert 239 : < pop /= 0 >"
severity warning;

wait for 1 ns;

-- ***********************************
--------------------------

I <= "0010";
CCEN_BAR <= '1';
CC_BAR <= '1';
Rzero_bar <= '1';

wait for 1 ns; --	 Cycle No: 20

assert (PL_BAR = '1')
report
"Assert 240 : < PL_BAR /= 1 >" -- 	Vector No: 20
severity warning;

assert (VECT_BAR = '1')
report
"Assert 241 : < VECT_BAR /= 1 >"
severity warning;

assert (MAP_BAR = '0')
report
"Assert 242 : < MAP_BAR /= 0 >"
severity warning;

assert (R_sel = '0')
report
"Assert 243 : < R_sel /= 0 >"
severity warning;

assert (D_sel = '1')
report
"Assert 244 : < D_sel /= 1 >"
severity warning;

assert (uPC_sel = '0')
report
"Assert 245 : < uPC_sel /= 0 >"
severity warning;

assert (stack_sel = '0')
report
"Assert 246 : < stack_sel /= 0 >"
severity warning;

assert (decr = '0')
report
"Assert 247 : < decr /= 0 >"
severity warning;

assert (load = '0')
report
"Assert 248 : < load /= 0 >"
severity warning;

assert (clear = '0')
report