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.
Other Popular Editions of the Same Title
Search results for Sequential Logic Testing and Verification (The Springer...
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
Buy Used
US$ 16.71
Shipping:
US$ 12.40
From United Kingdom to U.S.A.
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
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
Buy New
US$ 180.31
Shipping:
US$ 15.64
From United Kingdom to U.S.A.
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
Seller Image
Sequential Logic Testing and Verification
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Seller Inventory # 5971317
Buy New
US$ 161.22
Shipping:
US$ 56.32
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Sequential Logic Testing and Verification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 240. Seller Inventory # 263075213
Seller Image
Sequential Logic Testing and Verification
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Sequential Logic Testing and Verification | Abhijit Ghosh (u. a.) | Buch | xix | Englisch | 1991 | Springer US | EAN 9780792391883 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 104814081
Stock Image
Sequential Logic Testing and Verification
Published by
Kluwer Academic Publishers, 1991
ISBN 10: 0792391888
ISBN 13: 9780792391883
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 214 pages, biography. BIC Classification: TJFC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 514. . 1991. Hardback. . . . . Seller Inventory # V9780792391883
Seller Image
Sequential Logic Testing and Verification
Published by
Springer US, Springer US Nov 1991, 1991
ISBN 10: 0792391888
ISBN 13: 9780792391883
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 238 pp. Englisch. Seller Inventory # 9780792391883
Stock Image
Sequential Logic Testing and Verification
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 240 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 5854034
Buy New
US$ 257.05
Shipping:
US$ 8.48
From United Kingdom to U.S.A.
Quantity: 4 available