UPF-based formal verification of low power techniques in modern processors.

Reza Sharafinejad, Bijan Alizadeh, Masahiro Fujita

Browse the full VTS paper archive.