Improving the testability and reliability of sequential circuits with invariant logic