System Verilog Assertions - Example Problem

Problem: Write assertion(s) to verify the behavior of the below circuit -









Solution: