1. A non-transitory computer-readable storage medium comprising computer program code for circuit design analysis, the computer program code comprising code for: receiving signal traces for verification of a circuit design; generating a signal list display region and a trace display region, the trace display region including the signal traces, and the signal list display region including a list of signals corresponding to the signal traces, wherein a signal trace of the signal traces specifies values of a signal in the signal list for the circuit design at different time points; receiving a selection of a time interval of the signal traces in the trace display region; creating a zoom group based in part or in whole on to the time interval, the zoom group spanning portions of the signal traces corresponding to the time interval of the signal traces; and adjusting a scaling factor of the portions of the signal traces within the zoom group along a temporal dimension axis independently of other portions of the signal traces within the trace display region and are outside of the zoom group.