Some advanced verification tools can extract automatic coverage points from user-specified assertions. For example, consider the following assertion (expressed in natural language form): If “READY” is ...