Verification in HBR Layout