A SMART GENERATION OF DESIGN ATTRIBUTES FOR VERIFICATION CLOSURE USING SPECMAN

Author(s):
Meirav Nitzan, Yael Kinderman, and Efrat Gavish
Location:
United States
Year:
2013
Type:
Poster
Format:
pdf