IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2013 / 11 Vol. 32; Iss. 11
![](/img/cover-not-exists.png)
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent
Hazra, Aritra, Mukherjee, Rajdeep, Dasgupta, Pallab, Pal, Ajit, Harer, Kevin M., Banerjee, Ansuman, Mukherjee, SubhankarVolume:
32
Language:
english
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
DOI:
10.1109/tcad.2013.2267454
Date:
November, 2013
File:
PDF, 504 KB
english, 2013