Optimizing Area and Power Using Formal Method Author(s): Alan Carlin, Chris Komar Cadence, and Anuj Singhania Download