functional redundancy checking