Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
System-on-a-Chip Design Kapitel lesen Erstes Kapitel lesen

2014 | OriginalPaper | Buchkapitel

6. Automatic Protocol Conversion

verfasst von : Roopak Sinha, Parthasarathi Roop, Samik Basu

Erschienen in: Correct-by-Construction Approaches for SoC Design

Verlag: Springer New York

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Chapter 6 provides further details of the converter synthesis algorithm. Key concepts covered in this chapter include data-buffers and data-related properties, converter definition and control, and the converter generation algorithm. We provide a classification of the inputs and outputs of a converter. Then the converter is formalized and its control actions are described using an example. The details of this algorithm with an appropriate illustration appears in Appendix A. This chapter may be viewed as the “converter synthesis” chapter.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel SoC Design Methodology
Nächstes Kapitel Related Work and Outlook
Fußnoten
1
A similar example with two masters and one slave was presented in Fig. 4.​1 in the last chapter.
 
2
For the time being, readers can ignore the presence of “Converter” between the Master and the SoC Bus.
 
3
The use of MORE captures a typical burst transfer operation in SoCs where a master may allow multiple data transfers during the same bus transaction.
 
Literatur
[RW89]
P.J.G. Ramadge, W.M. Wonham, The control of discrete event systems. Proc. IEEE 77, 81–98 (1989)CrossRef
[SRB08a]
R. Sinha, P.S. Roop, S. Basu, A model checking approach to protocol conversion. Electron. Notes Theor. Comput. Sci. 203(4), 81–94 (2008)CrossRef
Metadaten
Titel
Automatic Protocol Conversion
verfasst von
Roopak Sinha
Parthasarathi Roop
Samik Basu
Copyright-Jahr
2014
Verlag
Springer New York
Buch
Correct-by-Construction Approaches for SoC Design

Print ISBN: 978-1-4614-7863-8

Electronic ISBN: 978-1-4614-7864-5

Copyright-Jahr: 2014

DOI
https://doi.org/10.1007/978-1-4614-7864-5_6

Neuer Inhalt

    Bildnachweise