Formal methods for coverage analysis of architectural power states in power-managed designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer. Formal methods for coverage analysis of architectural power states in power-managed designs. In Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, 2012. pages 585-590, IEEE, 2012. [doi]

This author has not been identified. Look up 'Aritra Hazra' in GoogleThis author has not been identified. Look up 'Pallab Dasgupta' in GoogleThis author has not been identified. Look up 'Ansuman Banerjee' in GoogleThis author has not been identified. Look up 'Kevin Harer' in Google

runs on WebDSL