Example patterns generated by Zazz are then simulated with the assertion in the Synopsys VCS® simulator in order to exercise the assertion and results are displayed on Synopsys Verdi® waveform viewer.
The pattern book has been developed in close collaboration with ... to input their own data which would ‘affect the outcomes of the model: including for example, forms of heating, desired set ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results