Abstract
In conclusion, correct-by-construction design must be augmented with design-for-test that permits diagnostic, parametric, production tests so that parametric margin can be continuously monitored during production and in the end application. Otherwise, "correct-by-construction" devices are guaranteed to fail at the most inconvenient time.