Taming the beast: A smart generation of Design Attributes (Parameters) for Verification Closure Using Specman Author(s): Meirav Nitzan, Yael Kinderman, and Efrat Gavish Download
