Low-level estimation at high-levels of abstraction in system-level design