Line 197... |
Line 197... |
(std_logic_vector'("11110"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 9 incoming px (wrong security)
|
(std_logic_vector'("11110"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 9 incoming px (wrong security)
|
(std_logic_vector'("11101"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 10incoming px (too low sale price)
|
(std_logic_vector'("11101"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 10incoming px (too low sale price)
|
(std_logic_vector'("11100"), std_logic_vector'("000"), test_px, remain_qty, test_sec1, std_logic_vector'(X"0001")) ); -- 11incoming px (part qty)
|
(std_logic_vector'("11100"), std_logic_vector'("000"), test_px, remain_qty, test_sec1, std_logic_vector'(X"0001")) ); -- 11incoming px (part qty)
|
begin
|
begin
|
-- diagnostics (uncomment)
|
-- diagnostics (uncomment)
|
-- write (l, String'("Exercising search_control"));
|
write (l, String'("Exercising search_control"));
|
-- writeline (output, l);
|
writeline (output, l);
|
RX_CLK <= '0';
|
RX_CLK <= '0';
|
wait for 1 us;
|
wait for 1 us;
|
|
|
-- Check each pattern.
|
-- Check each pattern.
|
for i in input_patterns'range loop
|
for i in input_patterns'range loop
|
Line 223... |
Line 223... |
RX_CLK <= '1';
|
RX_CLK <= '1';
|
wait for 1 us;
|
wait for 1 us;
|
search_px_valid_i <= '0';
|
search_px_valid_i <= '0';
|
-- Check the outputs.
|
-- Check the outputs.
|
res := 0;
|
res := 0;
|
for r in 0 to 3 loop
|
for r in 0 to 5 loop
|
-- diagnostics (uncomment)
|
-- diagnostics (uncomment)
|
-- write (l, String'(" Wrapper wait results r: "));
|
-- write (l, String'(" Wrapper wait results r: "));
|
-- write (l, r);
|
-- write (l, r);
|
-- write (l, String'(" order_px_valid_o: "));
|
-- write (l, String'(" order_px_valid_o: "));
|
-- write (l, std_logic'image(order_px_valid_o));
|
-- write (l, std_logic'image(order_px_valid_o));
|
|
-- write (l, String'(" order_id_o: "));
|
|
-- for c in order_id_o'range loop
|
|
-- write(l, std_logic'image(order_id_o(c)) );
|
|
-- end loop;
|
-- writeline (output, l);
|
-- writeline (output, l);
|
if order_px_valid_o = '1' then
|
if order_px_valid_o = '1' then
|
assert order_px_type_o = output_patterns(i).order_px_type_o report "search_control_wrapper: test: " & integer'image(i) & " bad px type" severity error;
|
assert order_px_type_o = output_patterns(i).order_px_type_o report "search_control_wrapper: test: " & integer'image(i) & " bad px type" severity error;
|
assert order_buy_sell_o = output_patterns(i).order_buy_sell_o report "search_control_wrapper: test: " & integer'image(i) & " bad buy_sell" severity error;
|
assert order_buy_sell_o = output_patterns(i).order_buy_sell_o report "search_control_wrapper: test: " & integer'image(i) & " bad buy_sell" severity error;
|
assert order_px_o = output_patterns(i).order_px_o report "search_control_wrapper: test: " & integer'image(i) & " bad px" severity error;
|
assert order_px_o = output_patterns(i).order_px_o report "search_control_wrapper: test: " & integer'image(i) & " bad px" severity error;
|