Items related to Sequential Logic Testing and Verification (The Springer...
Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1991
- ISBN 10 0792391888
- ISBN 13 9780792391883
- BindingHardcover
- LanguageEnglish
- Number of pages233
Search results for Sequential Logic Testing and Verification (The Springer...
Stock Image
Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science)
Seller: Singing Saw Books, Portland, OR, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Used: Very Good. Hardcover. Clean pages. Nice condition overall. Seller Inventory # 131123454
Quantity: 1 available
Stock Image
Sequential Logic Testing and Verification (The Kluwer International Series in Engineering and Computer Science; SECS 163)
Published by
Kluwer Academic Publishers, Norwell, MA, U.S.A., 1992
ISBN 10: 0792391888
ISBN 13: 9780792391883
Used
Hardcover
First Edition
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. First Edition. Hardcover with black lettering on spine and upper board in very good clean condition, showing minimal signs of wear. Yellow stain through pages 61-64, otherwise pages are clean and unmarked. Previous owner's name on FEP. No dust jacket. T. Used. Seller Inventory # 248668
Quantity: 1 available
Stock Image
Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190185710
Quantity: Over 20 available
Stock Image
Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792391883_new
Quantity: Over 20 available
Seller Image
Sequential Logic Testing and Verification
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 238 pp. Englisch. Seller Inventory # 9780792391883
Quantity: 2 available
Seller Image
Sequential Logic Testing and Verification
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Seller Inventory # 5971317
Quantity: Over 20 available
Seller Image
Sequential Logic Testing and Verification
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780792391883
Quantity: 1 available
Stock Image
Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science (163))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA78707923918886
Quantity: 1 available