Capturing Timing Diagrams In Operational SVA

How to develop assertions directly from timing diagrams and waveforms.

popularity

Timing diagrams provide an excellent, intuitive starting point for writing assertions to capture the intended behavior of designs. However, the standard assertion languages SVA and PSL do not provide direct constructs for capturing timing diagrams. This white paper presents Operational SVA – a simple yet powerful SVA library – which allows to develop assertions directly from timing diagrams and waveforms.

To read more, click here.