Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core | IEEE Conference Publication | IEEE Xplore