Gabe Moretti on Lisa Piper’s “X-Propagaion Woes” paper from this year’s DVCon:
This paper begins by reviewing common sources of Xs, and describes how they cause functional bugs as well as unwarranted debug that prolong verification cycles. Solving the X problem helps minimize simulation and synthesis iterations and enables various design analyses (e.g. power analysis), normally performed on netlists, to begin sooner.