X-propagation in RTL simulation