Device-specific - Row-wise-reduction : Now detects deadlock case in check_valid()