Low Power Verification Using Formal Technology

Author(s):
Synopsys Inc.