• Felipe Cerqueira's avatar
    Add RTA for parallel jobs · b71f34f7
    Felipe Cerqueira authored
    We use simpler, more pessimistic interference bounds to
    prove that Bertogna and Cirinei's RTA works for parallel jobs.
    b71f34f7
bertogna_edf_comp.v 43.3 KB