Synopsys interview question

how would you verify this?