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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
L.T. Wang, K.T.T. Cheng, Y.W. Chang (eds.), Electronic Design Automation: Synthesis, Verification, and Test, Morgan Kaufmann (2009)
M. Yoshimura, Y. Matsunaga, Bridging the gap between device level modeling and register transfer level modeling, in 1st RIIF Workshop, pp. 1–6 (2013)
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, 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)
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. 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, On synthesizing a reliable multiprocessor for embedded systems. IEICE Trans. Fundam. E93-A(12), 2560–2569 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Japan KK, part of Springer Nature
About this chapter
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)