Optimizing Area and Power Using Formal Method Author(s): Alan Carlin, Chris Komar Cadence, and Anuj Singhania Location: United States Year: 2011 Type: Paper Download
