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
- Number of pages233
Buy New
Learn more about this copy
US$ 179.85
Shipping:
US$ 2.64
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
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
Seller Image
Sequential Logic Testing and Verification
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 269225-n
Quantity: 5 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
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780792391883_lsuk
Quantity: Over 20 available
Seller Image
Sequential Logic Testing and Verification
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 269225-n
Quantity: 5 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
Seller Image
Sequential Logic Testing and Verification
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 269225
Quantity: 5 available