s59_tw.ant

数字钟的实现

-- E:\VHDL\WAITPAST\DIG_CLK
-- VHDL Annotation Test Bench created by
-- HDL Bencher 6.1i
-- Wed Apr 18 11:36:41 2007

LIBRARY IEEE;
USE IEEE.STD_LOGIC_1164.ALL;
USE IEEE.STD_LOGIC_ARITH.ALL;
USE IEEE.STD_LOGIC_UNSIGNED.ALL;
USE IEEE.STD_LOGIC_TEXTIO.ALL;
USE STD.TEXTIO.ALL;

ENTITY s59_tw IS
END s59_tw;

ARCHITECTURE testbench_arch OF s59_tw IS
-- If you get a compiler error on the following line,
-- from the menu do Options->Configuration select VHDL 87
FILE RESULTS: TEXT OPEN WRITE_MODE IS "e:\vhdl\waitpast\dig_clk\s59_tw.ano";
	COMPONENT s59
		PORT (
			CLK : In  std_logic;
			CLR : In  std_logic;
			ZANTING : In  std_logic;
			COUT : Out  std_logic;
			SECSHI : Out  std_logic_vector (3 DOWNTO 0);
			SECGE : Out  std_logic_vector (3 DOWNTO 0)
		);
	END COMPONENT;

	SIGNAL CLK : std_logic;
	SIGNAL CLR : std_logic;
	SIGNAL ZANTING : std_logic;
	SIGNAL COUT : std_logic;
	SIGNAL SECSHI : std_logic_vector (3 DOWNTO 0);
	SIGNAL SECGE : std_logic_vector (3 DOWNTO 0);

BEGIN
	UUT : s59
	PORT MAP (
		CLK => CLK,
		CLR => CLR,
		ZANTING => ZANTING,
		COUT => COUT,
		SECSHI => SECSHI,
		SECGE => SECGE
	);

	PROCESS -- clock process for CLK,
		VARIABLE TX_TIME : INTEGER :=0;

		PROCEDURE ANNOTATE_COUT(
			TX_TIME : INTEGER
		) IS
			VARIABLE TX_STR : String(1 to 4096);
			VARIABLE TX_LOC : LINE;
		BEGIN
			STD.TEXTIO.write(TX_LOC,string'("Annotate["));
			STD.TEXTIO.write(TX_LOC, TX_TIME);
			STD.TEXTIO.write(TX_LOC,string'(",COUT,"));
			IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, COUT);
			STD.TEXTIO.write(TX_LOC, string'("]"));
			TX_STR(TX_LOC.all'range) := TX_LOC.all;
			STD.TEXTIO.writeline(results, TX_LOC);
			STD.TEXTIO.Deallocate(TX_LOC);
		END;

		PROCEDURE ANNOTATE_SECSHI(
			TX_TIME : INTEGER
		) IS
			VARIABLE TX_STR : String(1 to 4096);
			VARIABLE TX_LOC : LINE;
		BEGIN
			STD.TEXTIO.write(TX_LOC,string'("Annotate["));
			STD.TEXTIO.write(TX_LOC, TX_TIME);
			STD.TEXTIO.write(TX_LOC,string'(",SECSHI,"));
			IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, SECSHI);
			STD.TEXTIO.write(TX_LOC, string'("]"));
			TX_STR(TX_LOC.all'range) := TX_LOC.all;
			STD.TEXTIO.writeline(results, TX_LOC);
			STD.TEXTIO.Deallocate(TX_LOC);
		END;

		PROCEDURE ANNOTATE_SECGE(
			TX_TIME : INTEGER
		) IS
			VARIABLE TX_STR : String(1 to 4096);
			VARIABLE TX_LOC : LINE;
		BEGIN
			STD.TEXTIO.write(TX_LOC,string'("Annotate["));
			STD.TEXTIO.write(TX_LOC, TX_TIME);
			STD.TEXTIO.write(TX_LOC,string'(",SECGE,"));
			IEEE.STD_LOGIC_TEXTIO.write(TX_LOC, SECGE);
			STD.TEXTIO.write(TX_LOC, string'("]"));
			TX_STR(TX_LOC.all'range) := TX_LOC.all;
			STD.TEXTIO.writeline(results, TX_LOC);
			STD.TEXTIO.Deallocate(TX_LOC);
		END;

	BEGIN
		CLOCK_LOOP : LOOP
		CLK <= transport '0';
		WAIT FOR 10 ns;
		TX_TIME := TX_TIME + 10;
		CLK <= transport '1';
		WAIT FOR 10 ns;
		TX_TIME := TX_TIME + 10;
		ANNOTATE_COUT(TX_TIME);
		ANNOTATE_SECSHI(TX_TIME);
		ANNOTATE_SECGE(TX_TIME);
		WAIT FOR 40 ns;
		TX_TIME := TX_TIME + 40;
		CLK <= transport '0';
		WAIT FOR 40 ns;
		TX_TIME := TX_TIME + 40;
		END LOOP CLOCK_LOOP;
	END PROCESS;

	PROCESS   -- Process for CLK
		VARIABLE TX_OUT : LINE;

		BEGIN
		-- --------------------
		CLR <= transport '0';
		ZANTING <= transport '0';
		-- --------------------
		WAIT FOR 100 ns; -- Time=100 ns
		CLR <= transport '1';
		ZANTING <= transport '1';
		-- --------------------
		WAIT FOR 1010 ns; -- Time=1110 ns
		-- --------------------

		STD.TEXTIO.write(TX_OUT, string'("Total[]"));
		STD.TEXTIO.writeline(results, TX_OUT);
		ASSERT (FALSE) REPORT
			"Success! Simulation for annotation completed"
			SEVERITY FAILURE;
	END PROCESS;
END testbench_arch;

CONFIGURATION s59_cfg OF s59_tw IS
	FOR testbench_arch
	END FOR;
END s59_cfg;