Waveform comparison is an optional feature and all of the SynaptiCAD timing diagram editors and graphical products can be upgraded to include this feature. The Waveform Comparison feature graphically displays the differences between waveforms for two timing diagrams or individual signals. This feature is especially useful when comparing two different simulation runs, as well as for comparing logic analyzer data to a simulation run. Differences are shown as red regions on the compare signal. There are settings for tolerance regions and clocked compares to help filter out unimportant differences.

Transaction Tracker can be purchased as a separate product or as an option for any of the timing diagram editors or simulation products. Transaction Tracker is a new type of design verification tool for viewing simulation data as higher-level transactions, instead of as simple waveforms.  Users specify transaction patterns (temporal assertions) to match against using the PSL Sugar language, and Transaction Tracker displays matches and partial matches of these patterns graphically as "transaction records".  The matching process is similar to the matching of words using "regular expressions", but instead of matching against characters, a temporal assertion matches against the values of signals over time.