Skip to main content

Design Automation for Reliability

  • Chapter
  • First Online:
VLSI Design and Test for Systems Dependability
  • 1152 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 189.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 249.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. L.T. Wang, K.T.T. Cheng, Y.W. Chang (eds.), Electronic Design Automation: Synthesis, Verification, and Test, Morgan Kaufmann (2009)

    Google Scholar 

  2. M. Yoshimura, Y. Matsunaga, Bridging the gap between device level modeling and register transfer level modeling, in 1st RIIF Workshop, pp. 1–6 (2013)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. M. Sugihara, On synthesizing a reliable multiprocessor for embedded systems. IEICE Trans. Fundam. E93-A(12), 2560–2569 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hiroto Yasuura .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Japan KK, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Yasuura, H. (2019). Design Automation for Reliability. In: Asai, S. (eds) VLSI Design and Test for Systems Dependability. Springer, Tokyo. https://doi.org/10.1007/978-4-431-56594-9_13

Download citation

  • DOI: https://doi.org/10.1007/978-4-431-56594-9_13

  • Published:

  • Publisher Name: Springer, Tokyo

  • Print ISBN: 978-4-431-56592-5

  • Online ISBN: 978-4-431-56594-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics