1. Black box delay fault models for non-scan sequential circuits