Efficient methods of validating timing constraints