Synopsys Interview Question

how would you verify this?