To verify that all the unknowns in your model are successfully cleared by reset, you need an easy way to find all the X values in a simulation. $findx will report all registers with X values. It can be easily customized. For example, you may want to search wires along with registers, or search for Z values.
Download the tar file or send me email to get a copy. It includes:
