i-Core: A Runtime-Reconfigurable Processor Platform for Cyber-Physical Systems

Damschen, Marvin; Rapp, Martin; Bauer, Lars; Henkel, Jörg

doi:10.1007/978-3-030-16949-7_1

Cited by 4 publications

(1 citation statement)

References 47 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Then, custom instruction synthesis is used to generate the configurations for the RFUs and the code is modified to include the custom instructions. The custom instruction set extension problem is well-studied, for a general survey see [5] and for a recent one highlighting the potential benefits in performance and energy consumption see [6]; current examples of processor architectures with runtime reconfigurable RFUs can be found, e.g, in [10]- [12].…”

Section: A Custom Instruction Set Extensionmentioning

confidence: 99%

Software/Hardware Co-Verification for Custom Instruction Set Processors

et al. 2021

View full text Add to dashboard Cite

Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions. This assumption is valid as long as the software runs on standard CPUs that have been extensively validated and are in wide use. However, for processors exploiting custom instruction set extensions to meet performance and energy constraints the validation might be less extensive, challenging the correctness assumption. In this paper we present a novel formal approach for hardware/software co-verification targeting processors with custom instruction set extensions. We detail two different approaches for checking whether the hardware fulfills the requirements expected by the software analysis. The approaches are designed to explore a tradeoff between generality of the verification and computational effort. Then, we describe the integration of software and hardware analyses for both techniques and describe a fully automated tool chain implementing the approaches. Finally, we demonstrate and compare the two approaches on example source code with custom instructions, using state-of-the-art software analysis and hardware verification techniques.

show abstract

Section: A Custom Instruction Set Extensionmentioning

confidence: 99%