Implementation Constraints in Self-Checking Integrated Circuits | AMiner