Reza Sharafinejad, Bijan Alizadeh, Masahiro Fujita. UPF-based formal verification of low power techniques in modern processors. In 33rd IEEE VLSI Test Symposium, VTS 2015, Napa, CA, USA, April 27-29, 2015. pages 1-6, IEEE, 2015. [doi]
Abstract is missing.