Automatic verification for Assertion Based Verification: How can a SPIRIT IP-XACT extension help? Author(s): Sofiene Mejri and Mirella Negro Marcigaglia Download
