Embracing Formal Verification for Data Path Designs Using Golden Specs Author(s): Achutha Kirankumar V, Disha Puri, Bindumadhava S.S Download
