Optimizing Area and Power Using Formal Method

Author(s):
Alan Carlin, Chris Komar Cadence, and Anuj Singhania
Location:
United States
Year:
2011
Type:
Paper
Format:
pdf