skip to main content
10.1145/1084834.1084844acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
Article

Conflict analysis in multiprocess synthesis for optimized system integration

Published: 19 September 2005 Publication History

Abstract

This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing architectural synthesis approaches in order to apply global optimization techniques across process bounds for shared system resources (e.g. memories, busses, global ALUs) during scheduling and binding. This allows an area efficient implementation of un-timed or cycle-fixed multiprocess specifications at RT or algorithmic level of abstraction. Furthermore, this approach supports environment-oriented synthesis for optimized module integration by scheduling accesses to global resources with respect to the access schedules of other modules communicating to the same global resources. As a result, dynamic access conflicts can be avoided by construction, and hence, there is no need for dynamic arbitration of bus and memory accesses with potentially unpredictable timing behavior.

References

[1]
J. K. Adams, D. E. Thomas: Multiple-Process Behavioral Synthesis for Mixed Hardware-Software Systems, Proceedings of Internatinal Symposium on System Synthesis (ISSS), 1995.
[2]
K. Bilinski, J. Mirkowski, E. L. Dagless: Synchronous Parallel Controller Synthesis from Behavioural Multiple-process VHDL Description; Proceedings of EURO-DAC/EURO-VHDL, 1996.
[3]
O. Bringmann, W. Rosenstiel, D. Reichardt: Synchronization Detection for Multi-Process Hierarchical Synthesis; Proceedings of International Symposium on System Synthesis (ISSS), 1998.
[4]
O. Bringmann, W. Rosenstiel: Resource Sharing in Hierarchical Synthesis; Intl. Conf. on Computer Aided Design (ICCAD), 1997.
[5]
J.-M. Chang, M. Pedram: Codex-dp: Co-Design of Communicating Systems Using Dynamic Programming; IEEE Transactions on Computer-Aided Design, Vol. 19, No. 7, 2000.
[6]
C. N. Coelho, Jr., G. De Micheli: Analysis and Synthesis of Concurrent Digital Circuits Using Control-Flow Expressions; IEEE Transactions on Computer-Aided Design, Vol. 15, No. 8, 1996.
[7]
P. Eles, K. Kuchcinski, Z. Peng: Synthesis of Systems Specified as Interacting VHDL Processes; Integration the VLSI Journal, Vol. 21, pp. 113--138, 1996.
[8]
J. W. Hagerman: Synthesis of Multiple Process Digital Systems; PhD Thesis, Carnegie Mellon University, 1994.
[9]
C. Jäschke, F. Beckmann, R. Laur: Time Constrained Modulo Scheduling with Global Resource Sharing; Proceedings of Design, Automation and Test in Europe (DATE), 1999.
[10]
C. Jäschke, R. Laur: Resource Constrained Modulo Scheduling with Global Resource Sharing; Proceeding of International Symposium on System Synthesis (ISSS), 1998.
[11]
P. G. Paulin, J. P. Knight: Force-Directed Scheduling for the Behavioral Synthesis of ASICs; IEEE Transactions on Computer-Aided Design, Vol. 8, Nr. 6, 1989.
[12]
W. Pugh: The Omega Test: a fast and practical integer programming algorithm for dependence analysis. Proc. of Supercomputing, 1991.
[13]
S. Sarkar, A. Basu, A.K. Majumdar: Synchronization of Communicating Modules and Processes in High-Level Synthesis; Proceedings of International Conference on VLSI Design, 1995.
[14]
A. Siebenborn, O. Bringmann, and W. Rosenstiel. Communication Analysis for System-on-Chip Design; Proceedings of DATE, 2004.
[15]
A. Siebenborn, O. Bringmann, and W. Rosenstiel. Worst-Case Performance Analysis of Parallel, Communicating Software Processes; Proceedings of CODES, 2002.
[16]
W. Wang, A. Raghunathan, N. K. Jha, S. Dey: Resource Budgeting for Multiprocess High-Level Synthesis; IEEE Transactions on Computer-Aided Design, Vol. 23, No. 7, 2004.
[17]
W. Wolf, R. Manno: High-Level Modelling and Synthesis of Communicating Processes Using VHDL; IEICE Transactions on Information and Systems, Vol. E76-D, No. 9, 1995.

Cited By

View all
  • (2007)Global Optimization of Compositional SystemsFormal Methods in Computer Aided Design (FMCAD'07)10.1109/FAMCAD.2007.17(93-100)Online publication date: Nov-2007
  • (2006)Pareto-Based Application Specification for MP-SoC Customized Run-Time Management2006 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation10.1109/ICSAMOS.2006.300812(78-84)Online publication date: Jul-2006

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
CODES+ISSS '05: Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
September 2005
356 pages
ISBN:1595931619
DOI:10.1145/1084834
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 September 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. behavioral synthesis
  2. binding
  3. concurrent systems
  4. scheduling
  5. system level design
  6. systems-on-chip

Qualifiers

  • Article

Conference

CODES/ISSS05

Acceptance Rates

CODES+ISSS '05 Paper Acceptance Rate 50 of 200 submissions, 25%;
Overall Acceptance Rate 280 of 864 submissions, 32%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 08 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2007)Global Optimization of Compositional SystemsFormal Methods in Computer Aided Design (FMCAD'07)10.1109/FAMCAD.2007.17(93-100)Online publication date: Nov-2007
  • (2006)Pareto-Based Application Specification for MP-SoC Customized Run-Time Management2006 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation10.1109/ICSAMOS.2006.300812(78-84)Online publication date: Jul-2006

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media