Skip to main content

2021 | OriginalPaper | Buchkapitel

5. Optimization SAT-Based Retargeting for Embedded Compression

verfasst von : Sebastian Huhn, Rolf Drechsler

Erschienen in: Design for Testability, Debug and Reliability

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

SoCs are now widely used in the semiconductor industry to fulfill the challenging functional requirements of nowadays application scenarios. This inevitably leads to higher test complexity since comprehensive test scenarios have to be considered for functional verification.

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!

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!

Fußnoten
1
Please note that the solving algorithms typically perform minimization.
 
Literatur
[Ila+13].
Zurück zum Zitat K. Ilambharathi et al., Domain Specific Hierarchical Huffman Encoding, in Cornell University Library, abs/1307.0920 (2013) K. Ilambharathi et al., Domain Specific Hierarchical Huffman Encoding, in Cornell University Library, abs/1307.0920 (2013)
Metadaten
Titel
Optimization SAT-Based Retargeting for Embedded Compression
verfasst von
Sebastian Huhn
Rolf Drechsler
Copyright-Jahr
2021
DOI
https://doi.org/10.1007/978-3-030-69209-4_5

Neuer Inhalt