• Home
  • Search
  • Efficient methods for embedded system design space exploration
  • Cite Icon19
  • https://doi.org/10.1145/337292.337593Copy DOI Icon

Efficient methods for embedded system design space exploration

  • Jan 1, 2000
  • Harry Hsieh +3 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Design space exploration is the process of analyzing several functionally equivalent alternatives to determine the most suitable one. The synchronous assumption has made it possible to develop efficient procedures for establishing functional equivalence between different implementations in the domain of synchronous circuits as well as in the domain of synchronous reactive systems. We extend this notion to embedded systems that do not satisfy the synchronous assumption inside their boundaries but only at the interface with the environment Leveraging this property, we developed efficient synchronous equivalence analysis algorithms for embedded systems with loops and architectures with multiple computational units. We demonstrate our method on an ATM switch containing many interacting components.

Similar Papers
  • Research Article
  • Citations10

ERDSE: efficient reinforcement learning based design space exploration method for CNN accelerator on resource limited platform

  • May 09, 2021
  • Graphics and Visual Computing
  • Kaijie Feng +7
  • Conference Article
  • Citations6

Architecture exploration for distributed embedded systems: a gap analysis in automotive domain

  • Jan 01, 2017
  • Xinhai Zhang +4
  • Conference Article
  • Citations11

Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions

  • Aug 01, 2022
  • Marius Herget +6
  • Book Chapter
  • Citations3

Hierarchical Design Space Exploration for Distributed CNN Inference at the Edge

  • Jan 01, 2023
  • Xiaotian Guo +2
  • Research Article
  • Citations1

Mapping the design space in function and geometry models supporting redesign for additive manufacturing

  • Jan 01, 2020
  • J. of Design Research
  • Massimo Panarotto +3
  • Conference Article
  • Citations6

Practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains

  • May 13, 2014
  • Philipp Diebold +3
  • Research Article
  • Citations6

ACDSE: A Design Space Exploration Method for CNN Accelerator based on Adaptive Compression Mechanism

  • Nov 09, 2023
  • ACM Transactions on Embedded Computing Systems
  • Kaijie Feng +5
  • Conference Article

A statistical application model for fast MPSoC simulation

  • Mar 01, 2010
  • E Azarkhish +1
  • Conference Article

Unraveling Parallelism in Automated Workload Modeling for Distributed Cyber-Physical Systems

  • Sep 10, 2025
  • Faezeh Sadat Saadatmand +4
  • Conference Article

An Efficient Design Method for Coarse-Grained Reconfigurable Cryptographic Logic Array Architectures

  • Dec 26, 2025
  • Danping Jiang +3
  • Conference Article
  • Citations2

ADSET: A framework of rapid design space exploration for Android-based systems

  • Oct 01, 2012
  • Shih-Hao Hung +3
  • Research Article
  • Citations6

SystemC-based HW/SW co-simulation platform for system-on-chip (SoC) design space exploration

  • Jan 01, 2009
  • International Journal of Information and Communication Technology
  • Y.W Hau +1
  • Conference Article
  • Citations2

Automatic communication synthesis with hardware sharing for design space exploration

  • May 01, 2010
  • Y Ando +4
  • Conference Article
  • Citations1

Application of a Global Sensitivity Screening Method for Design Space Exploration of Coupled Turbofan Engine Performance and Preliminary Design

  • Sep 09, 2020
  • Proceedings
  • Jens Schmeink +2
  • Conference Article
  • Citations11

Cross-architectural design space exploration tool for reconfigurable processors

  • Apr 01, 2009
  • L Bauer +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.