One reason why electronic-system-level (ESL) methodologies haven’t been adopted more rapidly is the massive timesink of model creation and verification for the development of virtual prototypes. JEDA ...