Exploring performance-correctness explicitly-decoupled architectures