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 Download