US6470480B2 - Tracing Different States Reached by a Signal in a Functional Verification System