in vdd;
in vss;
in reset;
in clk;
in run;
out t1;
out t2;
out t3;

begin
<0 ns>  : 10 0 0 0 ***;
<+5 ns> : 10 0 0 0 ***;
-- reset from here
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 1 0 ***;
<+5 ns> : 10 0 1 0 ***;
--
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 1 0 ***;
<+5 ns> : 10 0 1 0 ***;
--
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 1 0 ***;
<+5 ns> : 10 0 1 0 ***;
--
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 0 0 ***;
<+5 ns> : 10 0 1 0 ***;
<+5 ns> : 10 0 1 0 ***;
-- idle from here
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
--
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
--
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
--
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
-- run from here
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
-- run goes low
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
--
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
--
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
--
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 0 0 ***;
<+5 ns> : 10 1 1 0 ***;
<+5 ns> : 10 1 1 0 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 0 1 ***;
<+5 ns> : 10 1 1 1 ***;
<+5 ns> : 10 1 1 1 ***;
--

end;