In addition to integrating different Intellectual Property cores, heterogeneous embedded systems provide several architecture knobs such as voltage, operating frequency, configuration, etc. that can be varied to optimize performance. Such flexibilities results in a large design space making system optimization a very challenging task. Moreover, such systems operate in mobile and other power constrained environments. Therefore, in addition to rapid exploration of a large design space a designer has to optimize both time and energy performance. To address these issues, we propose a hierarchical design space exploration methodology. Our methodology initially uses symbolic constraint satisfaction to rapidly prune the design space. This pruning process is followed by a system wide performance estimation to further reduce the number of candidate designs. Finally, detailed simulation using low-level simulators are performed to select an appropriate design. Our methodology is implemented by integrating two tools, DESERT and HiPerE, into the M model based Integrated simuLAtioN (MILAN) framework. DESERT uses Ordered Binary Decision Diagrams based symbolic search to rapidly explore a large design space and identifies candidate designs that meet the user specified performance constraints. HiPerE provides rapid estimation of system wide energy and latency based on component level simulations and also facilitates energy optimization. MILAN provides the required modeling support for these tools and also facilitates component specific multi-granular simulations through seamless integration of various simulators.
展开▼
机译:除了集成不同的知识产权核心之外,异构嵌入式系统还提供了多种架构旋钮,如电压,工作频率,配置等,可以变化以优化性能。这种灵活性导致大型设计空间,使系统优化成为一个非常具有挑战性的任务。此外,这种系统在移动和其他功率受限环境中操作。因此,除了快速探索大型设计空间之外,设计师必须优化时间和能量性能。为了解决这些问题,我们提出了一个分层设计空间探索方法。我们的方法最初使用符号约束满足来快速修剪设计空间。这种修剪过程之后是系统宽性能估计,以进一步减少候选设计的数量。最后,执行使用低级模拟器的详细仿真选择适当的设计。我们的方法是通过将两个工具,沙漠和hipere集成到基于 m b>模型的 i b> ntegrated simu la b> tio n b>(米兰)框架。沙漠使用基于有序的二进制决策图的符号搜索来快速探索大型设计空间,并识别符合用户指定的性能约束的候选设计。 HIPERE基于组件级模拟,提供了对系统宽能量和延迟的快速估计,并促进了能量优化。米兰为这些工具提供了所需的建模支持,并通过各种模拟器的无缝集成来促进组件特定的多粒模拟。
展开▼