Yes, but with care. We follow a rigorous design flow and every HDL module we develop could be used (as we did) in a safety critical application. Remember that each standard has a different V&V flowbut we can provide you the safety case for each module. There is, however, to take into account that perhaps you would need to include techniques to reduce MTBF, as ECC on memories or safe FSM (which can be done in different ways), and this would results in unnecessary high resource usage.
That's why we don't include such features in standard IPs, but only on a customer request.
Anyway other V&V stages, usually employed in safety critical verification, such as version control, coding standard, self checking testbenches with 100% coverage and much more are done on every module we release