Learning early-stage platform dimensioning from late-stage timing verification Conference Paper