Unfaithful Glitch Propagation in Existing Binary Circuit Models