Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent.

Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha

Browse the full DAC paper archive.