A SMART GENERATION OF DESIGN ATTRIBUTES FOR VERIFICATION CLOSURE USING SPECMAN Author(s): Meirav Nitzan, Yael Kinderman, and Efrat Gavish Type: Poster Download