File Input
Require file and line variables:
CheckProcess: process (clkt)
file output1 : text is “output.txt”;
variable o_exp : std_logic;
if clk'event and clk='0' then
if not endfile(output1) then
readline(output1, line_in);
assert (o_exp = alu_result)
report “Output incorrect”