Automatic verification for Assertion Based Verification: How can a SPIRIT IP-XACT extension help?

Author(s):
Sofiene Mejri and Mirella Negro Marcigaglia
Location:
United States
Year:
2010
Type:
Paper
Format:
pdf