Just to complete the discussion:
Just ran it through XL & VVP and got the following results:
XL - in always a = 0 at time 3 in always a = 0 at time 4 in always a = 0 at time 5
Icarus in always a = 0 at time 0 in always a = 0 at time 3 in always a = 0 at time 4 in always a = 0 at time 5
-- Steve Wilson Hardware Architect GDA Technologies (408) 467-3595
