- What are SVAs?
- Does Zazz require a simulation license?
- What simulators are supported by Zazz?
- Does Zazz support Questa™ Assertion Thread Viewer (ATV)?
- Does Zazz Debug support immediate assertions?
- Does Zazz support SVAs with local variables?
- Does Zazz Debug support multiple clocks?
- How does Zazz Debug treat vacuously true assertions?
- Does Zazz Debug support “always” blocks?
- Does Zazz Debug support “initial” statements?
- Does Zazz Debug support user-defined function calls with non-constant arguments?
- Does Zazz Debug support weak/strong qualifiers in SVA operators?
- Does Zazz Debug support bi-directional property and sequences argument passing?
- Does Zazz Debug support propagation of local variable values through arguments?
- Does Zazz Debug support Boolean expressions, including “let” syntax?
What are SVAs?
SystemVerilog Assertions are a set of operators and language constructs for describing sequential behavior of a Verilog design. The assertions can be checked during logic simulation, or analyzed statically by formal verification tools.
Does Zazz require a simulation license?
Zazz Debug requires a SystemVerilog simulator in order to generate passing or failing waveforms. Zazz Visual SVA does not require a simulation license to graphically create assertions.
What simulators are supported by Zazz?
Zazz Debug supports Synopsys VCS™, Cadence Incisive™, and Mentor Graphics Questa™ simulators. Zazz can produce waveforms for each simulator’s associated waveform viewer, or it can set up the simulation to produce waveforms for the Springsoft Verdi™ waveform viewer.
Does Zazz Debug support multiple clocks?
Yes and no. When producing waveforms for two properties with different clocks, Zazz Debug currently uses the same waveform for both properties. The reason is that for most cases the relationship between the clocks does not impact the passing or failing waveforms for either property, and using different clock periods makes it more difficult to read the waveforms.
How does Zazz Debug treat vacuously true assertions?
There are several settings to control the waveforms Zazz Debug will produce. You can exclude vacuously true sequences, though sometimes it is useful to know that an assertion can be satisfied vacuously.
Does Zazz Debug support bi-directional property and sequences argument passing?
Yes and no. Properties with arguments are supported, however any interaction of two properties through output arguments will not be reflected in the waveforms.
Does Zazz Debug support Boolean expressions, including “let” syntax?
Back to Top