ByNobleID
    Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction | NobleID