![](/img/cover-not-exists.png)
[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent
Hazra, Aritra, Mitra, Srobona, Dasgupta, Pallab, Pal, Ajit, Bagchi, Debabrata, Guha, KaustavYear:
2010
Language:
english
DOI:
10.1145/1837274.1837469
File:
PDF, 94 KB
english, 2010