BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163)

Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163)

Sequential Logic Testing and Verification (The Springer International Series in
Stock photo: cover may vary

Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163) Hardback - 1991

by Ghosh, Abhijit

Add to wish list
  • New
  • Hardback
New

Description

Springer, 1991-11-30. 1992. hardcover. New. 6.50x0.75x9.75. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$248.63
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163)

From the publisher

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.
tracking-