testsuite/synth/cnt01/tb_cnt02.vhdl

   1 entity tb_cnt02 is
   2 end tb_cnt02;
   3
   4 library ieee;
   5 use ieee.std_logic_1164.all;
   6
   7 architecture behav of tb_cnt02 is
   8   signal clk : std_logic;
   9   signal rst : std_logic;
  10   signal low : std_logic;
  11 begin
  12   dut: entity work.cnt02
  13     port map (clk => clk, rst => rst, low => low);
  14   process
  15     procedure pulse is
  16     begin
  17       clk <= '0';
  18       wait for 1 ns;
  19       clk <= '1';
  20       wait for 1 ns;
  21     end pulse;
  22   begin
  23     rst <= '1';
  24     pulse;
  25     assert low = '0' severity failure;
  26
  27     rst <= '0';
  28     pulse;
  29     assert low = '0' severity failure;
  30
  31     pulse;
  32     assert low = '0' severity failure;
  33
  34     pulse;
  35     assert low = '0' severity failure;
  36
  37     pulse;
  38     assert low = '1' severity failure;
  39
  40     pulse;
  41     assert low = '1' severity failure;
  42
  43
  44     wait;
  45   end process;
  46 end behav;