SystemVerilog Assertions - Maven Silicon
SystemVerilog Assertions are a piece of verification code, which checks the design in adherence to the specification which will validate the specific behavior of a design and displays a message.
https://www.maven-silicon.com/....blog/systemverilog-a