In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is the detection of failures in its Very Large Scale Integrated (VLSI) circuit components, caused by errors in the design specification, implementation, or manufacturing processes. Design verification involves the checking of the specification of a design for correctness prior to carrying out an implementation. Implementation verification ensures that the manual design or automatic synthesis process is correct, i.e., the mask-level description correctly implements the specification. Manufacture test involves the checking of the complex fabrication process for correctness, i.e., ensuring that there are no manufacturing defects in the integrated circuit. It should be noted that all the above verification mechanisms deal not only with verifying the functionality of the integrated circuit but also its performance."

This book studies the dynamic aspects of the Human Development Index (HDI) through a partial mobility perspective. It offers a new axiomatic structure and a set of mobility indices to discuss partial trends and interrogate the human development status at the subgroup and subregional levels. While traditional human development theories are primarily concerned with static distributions corresponding to a point in time, this book looks at an oft-neglected side of HDI and focuses on relative changes in human development that may not be captured by the absolutist framework. In addition, the authors also introduce the concepts of jump and fractional mobility which aid in tracking the development and stagnation among various groups within a population. This work breaks fresh ground in the study of human development. It will be of great interest to scholars and researchers of economics, development economics, political economy, and development practitioners.

This book studies the dynamic aspects of the Human Development Index (HDI) through a partial mobility perspective. It offers a new axiomatic structure and a set of mobility indices to discuss partial trends and interrogate the human development status at the subgroup and subregional levels. While traditional human development theories are primarily concerned with static distributions corresponding to a point in time, this book looks at an oft-neglected side of HDI and focuses on relative changes in human development that may not be captured by the absolutist framework. In addition, the authors also introduce the concepts of jump and fractional mobility which aid in tracking the development and stagnation among various groups within a population. This work breaks fresh ground in the study of human development. It will be of great interest to scholars and researchers of economics, development economics, political economy, and development practitioners.

In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is the detection of failures in its Very Large Scale Integrated (VLSI) circuit components, caused by errors in the design specification, implementation, or manufacturing processes. Design verification involves the checking of the specification of a design for correctness prior to carrying out an implementation. Implementation verification ensures that the manual design or automatic synthesis process is correct, i.e., the mask-level description correctly implements the specification. Manufacture test involves the checking of the complex fabrication process for correctness, i.e., ensuring that there are no manufacturing defects in the integrated circuit. It should be noted that all the above verification mechanisms deal not only with verifying the functionality of the integrated circuit but also its performance."