Implementation verification
To construct efficient product, it is necessary to refine initial design into concrete realization - typically includes a number of restrictions. (e.g. restrict integer values to a certain range so that you use fixed number of bits)
Clearly, it requires that the concrete realization has been done and hence implementation verification is relevant rather late in design process.
Now available in commercial design system.