Skip to main content

2019 | OriginalPaper | Buchkapitel

13. Design Automation for Reliability

verfasst von : Hiroto Yasuura

Erschienen in: VLSI Design and Test for Systems Dependability

Verlag: Springer Japan

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

search-config
loading …

Abstract

For design of dependable VLSI design, we need design automation tools, which are compatible with the existing VLSI design toolchain for hierarchical design from system architecture level to device level. The existing toolchain contains analysis and synthesis tools for cost (area), performance, and power consumption of the VLSI. Since dependability is a new measurement of VLSI system design, new methods of evaluation and optimization of the designed VLSI system should be established. The difficulty of the evaluation and optimization of dependability is caused by variety of measurements, probabilistic phenomena, and hierarchical discontinuity of dependability. In this section, design automation tools for soft error are presented, as an example. Soft error occurs collisions of neutrons. An analysis tool of physical level simulates a process of changes of density of charges caused by the collision. In electric circuit level, the neutron collision is presented as an appearance of temporary unexpected current source in the circuit. Circuit simulators can be used to analyze the effect of the temporary current source. Only huge voltage change, which is a pulse signal larger than logical threshold of gates and bit flip of memory elements, should be considered in the logical circuit level. In logic circuit level, propagation of the pulses should be analyzed. Some pulses may disappear by masking effects of logical gates and flip-flops. Memories have to be analyzed by different approaches utilizing the regularity. In register transfer and system architecture levels, a system error occurs only when the wrong data is read out and used in the subsequent computation process affecting the final output of the VLSI system.

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!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat L.T. Wang, K.T.T. Cheng, Y.W. Chang (eds.), Electronic Design Automation: Synthesis, Verification, and Test, Morgan Kaufmann (2009) L.T. Wang, K.T.T. Cheng, Y.W. Chang (eds.), Electronic Design Automation: Synthesis, Verification, and Test, Morgan Kaufmann (2009)
2.
Zurück zum Zitat M. Yoshimura, Y. Matsunaga, Bridging the gap between device level modeling and register transfer level modeling, in 1st RIIF Workshop, pp. 1–6 (2013) M. Yoshimura, Y. Matsunaga, Bridging the gap between device level modeling and register transfer level modeling, in 1st RIIF Workshop, pp. 1–6 (2013)
3.
Zurück zum Zitat T. Takata, Y. Matsunaga, A robust algorithm for pessimistic analysis of logic masking effects in combinational circuits. IPSJ Trans. Syst. LSI Des. Methodol. 5, 55–62 (2012) T. Takata, Y. Matsunaga, A robust algorithm for pessimistic analysis of logic masking effects in combinational circuits. IPSJ Trans. Syst. LSI Des. Methodol. 5, 55–62 (2012)
4.
Zurück zum Zitat T. Takata, M. Yoshimura, Y. Matsunaga, Efficient fault simulation algorithms for analyzing soft error propagation in sequential circuits. IPSJ Trans. Syst. LSI Des. Methodol. 6, 127–134 (2013) T. Takata, M. Yoshimura, Y. Matsunaga, Efficient fault simulation algorithms for analyzing soft error propagation in sequential circuits. IPSJ Trans. Syst. LSI Des. Methodol. 6, 127–134 (2013)
5.
Zurück zum Zitat M. Yoshimura, Y. Akamine, Y. Matsunaga, An exact estimation algorithm of error propagation probability for sequential circuits. IPSJ Trans. Syst. LSI Des. Methodol. 5, 63–70 (2012) M. Yoshimura, Y. Akamine, Y. Matsunaga, An exact estimation algorithm of error propagation probability for sequential circuits. IPSJ Trans. Syst. LSI Des. Methodol. 5, 63–70 (2012)
6.
Zurück zum Zitat M. Sugihara, T. Ishihara, K. Murakami, Architectural-level soft-error modeling for estimating reliability of computer systems. IEICE Trans. Electron. E90-C(10), 1983–1991 (2007) M. Sugihara, T. Ishihara, K. Murakami, Architectural-level soft-error modeling for estimating reliability of computer systems. IEICE Trans. Electron. E90-C(10), 1983–1991 (2007)
7.
Zurück zum Zitat M. Sugihara, On synthesizing a reliable multiprocessor for embedded systems. IEICE Trans. Fundam. E93-A(12), 2560–2569 (2010) M. Sugihara, On synthesizing a reliable multiprocessor for embedded systems. IEICE Trans. Fundam. E93-A(12), 2560–2569 (2010)
Metadaten
Titel
Design Automation for Reliability
verfasst von
Hiroto Yasuura
Copyright-Jahr
2019
Verlag
Springer Japan
DOI
https://doi.org/10.1007/978-4-431-56594-9_13

Neuer Inhalt