Line 169... |
Line 169... |
constant other_px: std_logic_vector(15 downto 0) := std_logic_vector'("0000000000001110");
|
constant other_px: std_logic_vector(15 downto 0) := std_logic_vector'("0000000000001110");
|
constant other_sec: std_logic_vector(55 downto 0) := std_logic_vector'(X"CDC423354634AA");
|
constant other_sec: std_logic_vector(55 downto 0) := std_logic_vector'(X"CDC423354634AA");
|
type input_pattern_array is array (natural range <>) of input_pattern_type;
|
type input_pattern_array is array (natural range <>) of input_pattern_type;
|
constant input_patterns : input_pattern_array :=
|
constant input_patterns : input_pattern_array :=
|
( ('1', std_logic_vector'("00000"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec), -- 0 reset
|
( ('1', std_logic_vector'("00000"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec), -- 0 reset
|
('0', std_logic_vector'("ZZZZZ"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec), -- 1 nothing
|
('1', std_logic_vector'("01010"), std_logic_vector'("000"), test_px, set_qty, test_sec0), -- 0 pre
|
('1', std_logic_vector'("01010"), std_logic_vector'("000"), test_px, set_qty, test_sec0), -- 2 sec/set
|
('1', std_logic_vector'("ZZZZZ"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec), -- 1 nothing
|
('1', std_logic_vector'("01010"), std_logic_vector'("000"), test_px, set_qty, test_sec1), -- 3 sec/set
|
('1', std_logic_vector'("00110"), std_logic_vector'("000"), test_px, set_qty, test_sec0), -- 2 sec/set
|
('1', std_logic_vector'("01010"), std_logic_vector'("111"), test_px, set_qty, test_sec2), -- 4 sec/set
|
('1', std_logic_vector'("00110"), std_logic_vector'("000"), test_px, set_qty, test_sec1), -- 3 sec/set
|
('1', std_logic_vector'("01010"), std_logic_vector'("000"), test_px, set_qty, test_sec3), -- 5 too many sec/set
|
('1', std_logic_vector'("00110"), std_logic_vector'("000"), test_px, set_qty, test_sec1), -- 4 sec/set - repeat
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), test_px, test_qty, test_sec1), -- 6 incoming px
|
('1', std_logic_vector'("00110"), std_logic_vector'("111"), test_px, set_qty, test_sec2), -- 5 sec/set
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), test_px, zz_qty, other_sec), -- 7 incoming px (wrong security)
|
('1', std_logic_vector'("00110"), std_logic_vector'("000"), test_px, set_qty, test_sec2), -- 6 sec/set - diff buysell
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), other_px, test_qty, test_sec1), -- 8 incoming px (too low sale price)
|
('1', std_logic_vector'("00110"), std_logic_vector'("000"), test_px, set_qty, test_sec3), -- 7 too many sec/set
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), test_px, test_qty, test_sec1) ); -- 9 incoming px (part qty)
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), test_px, test_qty, test_sec1), -- 8 incoming px
|
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), test_px, zz_qty, other_sec), -- 9 incoming px (wrong security)
|
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), other_px, test_qty, test_sec1), -- 10incoming px (too low sale price)
|
|
('1', std_logic_vector'("11100"), std_logic_vector'("111"), test_px, test_qty, test_sec1) ); -- 11incoming px (part qty)
|
type output_pattern_array is array (natural range <>) of output_pattern_type;
|
type output_pattern_array is array (natural range <>) of output_pattern_type;
|
constant output_patterns : output_pattern_array :=
|
constant output_patterns : output_pattern_array :=
|
( (std_logic_vector'("ZZZZZ"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 0 reset
|
( (std_logic_vector'("00000"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 0 reset
|
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0000")), -- 0 pre
|
(std_logic_vector'("ZZZZZ"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 1 nothing
|
(std_logic_vector'("ZZZZZ"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 1 nothing
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0001")), -- 2 sec/set
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0000")), -- 2 sec/set
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0002")), -- 3 sec/set
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0001")), -- 3 sec/set
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0003")), -- 4 sec/set
|
(std_logic_vector'("00110"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0001")), -- 4 sec/set
|
(std_logic_vector'("11111"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 5 bad sec/set (too many)
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0002")), -- 5 sec/set
|
(std_logic_vector'("11100"), std_logic_vector'("000"), test_px, test_qty, test_sec1, test_id), -- 6 incoming px
|
(std_logic_vector'("01010"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, std_logic_vector'(X"0003")), -- 6 sec/set
|
(std_logic_vector'("11110"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 7 incoming px (wrong security)
|
(std_logic_vector'("11111"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 7 bad sec/set (too many)
|
(std_logic_vector'("11101"), std_logic_vector'("ZZZ"), zz_px, zz_qty, zz_sec, zz_id), -- 8 incoming px (too low sale price)
|
(std_logic_vector'("11100"), std_logic_vector'("000"), test_px, test_qty, test_sec1, test_id), -- 8 incoming px
|
(std_logic_vector'("11100"), std_logic_vector'("000"), test_px, remain_qty, test_sec1, test_id) ); -- 9 incoming px (part qty)
|
(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'("11100"), std_logic_vector'("000"), test_px, remain_qty, test_sec1, test_id) ); -- 11incoming px (part qty)
|
begin
|
begin
|
write (l, String'("Exercising search_control"));
|
write (l, String'("Exercising search_control"));
|
writeline (output, l);
|
writeline (output, l);
|
RX_CLK <= '0';
|
RX_CLK <= '1';
|
wait for 1 ns;
|
wait for 1 us;
|
|
|
-- Check each pattern.
|
-- Check each pattern.
|
for i in input_patterns'range loop
|
for i in input_patterns'range loop
|
-- Set the inputs.
|
-- Set the inputs.
|
search_px_valid_i <= input_patterns(i).search_px_valid_i;
|
search_px_valid_i <= input_patterns(i).search_px_valid_i;
|
Line 206... |
Line 212... |
search_buy_sell_i <= input_patterns(i).search_buy_sell_i;
|
search_buy_sell_i <= input_patterns(i).search_buy_sell_i;
|
search_px_i <= input_patterns(i).search_px_i;
|
search_px_i <= input_patterns(i).search_px_i;
|
search_qty_i <= input_patterns(i).search_qty_i;
|
search_qty_i <= input_patterns(i).search_qty_i;
|
search_sec_i <= input_patterns(i).search_sec_i;
|
search_sec_i <= input_patterns(i).search_sec_i;
|
--search_id_i <= input_patterns(i).search_id_i;
|
--search_id_i <= input_patterns(i).search_id_i;
|
-- Clock once for the results.
|
-- Clock once for the results (falling edge)
|
RX_CLK <= '1';
|
RX_CLK <= '0';
|
wait for 1 ns;
|
wait for 1 us;
|
|
search_px_valid_i <= '0';
|
-- Check the outputs.
|
-- Check the outputs.
|
res := 0;
|
res := 0;
|
for r in 0 to 4 loop
|
for r in 0 to 3 loop
|
if order_px_valid_o = '1' then
|
if order_px_valid_o = '1' then
|
write(l, i);
|
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;
|
writeline (output, l);
|
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_type_o = output_patterns(i).order_px_type_o report "search_control_wrapper: bad px type" 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_buy_sell_o = output_patterns(i).order_buy_sell_o report "search_control_wrapper: bad buy_sell" severity error;
|
assert order_qty_o = output_patterns(i).order_qty_o report "search_control_wrapper: test: " & integer'image(i) & " bad qty" severity error;
|
assert order_px_o = output_patterns(i).order_px_o report "search_control_wrapper: bad px" severity error;
|
assert order_sec_o = output_patterns(i).order_sec_o report "search_control_wrapper: test: " & integer'image(i) & " bad sec" severity error;
|
assert order_qty_o = output_patterns(i).order_qty_o report "search_control_wrapper: bad qty" severity error;
|
assert order_id_o = output_patterns(i).order_id_o report "search_control_wrapper: test: " & integer'image(i) & " bad id" severity error;
|
assert order_sec_o = output_patterns(i).order_sec_o report "search_control_wrapper: bad sec" severity error;
|
|
assert order_id_o = output_patterns(i).order_id_o report "search_control_wrapper: bad id" severity error;
|
|
res := res + 1;
|
res := res + 1;
|
end if;
|
end if;
|
-- Clock down.
|
-- Clock up
|
RX_CLK <= '0';
|
|
wait for 1 ns;
|
|
search_px_valid_i <= '0';
|
|
RX_CLK <= '1';
|
RX_CLK <= '1';
|
wait for 1 ns;
|
wait for 1 us;
|
|
RX_CLK <= '0';
|
|
wait for 1 us;
|
end loop;
|
end loop;
|
assert res = 1 report "search_control_wrapper: wrong number of results from input pattern message" severity error;
|
assert res = 1 report "search_control_wrapper: test: " & integer'image(i) & " wrong number of results from input pattern message" severity error;
|
|
|
RX_CLK <= '0';
|
RX_CLK <= '1';
|
wait for 1 ns;
|
wait for 1 us;
|
end loop;
|
end loop;
|
-- assert false report "end of test" severity note;
|
|
|
|
write (l, String'("Done search_control"));
|
write (l, String'("Done search_control"));
|
writeline (output, l);
|
writeline (output, l);
|
|
|
wait;
|
wait;
|