Optimizing Area and Power Using Formal Method

Author(s):
Alan Carlin, Chris Komar Cadence, and Anuj Singhania