Energy-efficient RISC design with on-demand circuit-level timing speculation | IEEE Conference Publication | IEEE Xplore