Qualification of a Verification IP under Requirement Based Verification standards An approach to the verification of the verification

Author(s):
Francois Cerisier, Adrien Carmagnat, Alessandro Basili, and Gilles Curchod