Verification and Error Correction on High-Level Decision Diagrams (Paperback)
8 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2019 |
---|---|---|---|---|
Schnitt | Fr. 54.71 (€ 55.90)¹ | Fr. 65.64 (€ 67.07)¹ | Fr. 66.18 (€ 67.62)¹ | Fr. 61.00 (€ 62.32)¹ |
Nachfrage |
Verification and Error Correction on High-Level Decision Diagrams
ISBN: 9783659355707 bzw. 3659355704, in Deutsch, LAP LAMBERT Academic Publishing, Taschenbuch, neu.
Paperback. 124 pages. Dimensions: 8.7in. x 5.9in. x 0.3in.This book explores the theory of High-Level Decision Diagrams in application to formal verification and design error correction. We start with methods for synthesizing the diagrams for representing digital systems at higher behavioral, functional or register-transfer levels. The synthesized HLDDs can be used for high-level verification of digital systems. For this purpose, the HLDD model is appended by characteristic polynomials that canonically describe the graph structure of a diagram. These polynomials can be used for proving the equivalence between two HLDDs which have the same functionality but may have different structures. As soon as an error has been detected by the proposed approach, it must be localized and fixed. The described method is developed further to be applied to automated correction of design errors. We show how realistic design errors can be represented by the redirection-based fault model. The theoretical basis of the approach is presented with the key advantages being the ability to handle multiple errors as well as the fact that the error correction is not restricted by the input stimuli. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Verification and Error Correction on High-Level Decision Diagrams
ISBN: 9783659355707 bzw. 3659355704, in Deutsch, Taschenbuch, neu.
This item is printed on demand. Paperback. This book explores the theory of High-Level Decision Diagrams in application to formal verification and design error correction. We start with methods for synthesizing the diagrams for representing digital systems at higher behavioral, functional or register-transfer levels. The synthesized HLDDs can be used for high-level verification of digital systems. For this purpose, the HLDD model is appended by characteristic polynomials that canonically describe the graph structure of a diagram. These polynomials can be used for proving the equivalence between two HLDDs which have the same functionality but may have different structures. As soon as an error has been detected by the proposed approach, it must be localized and fixed. The described method is developed further to be applied to automated correction of design errors. We show how realistic design errors can be represented by the redirection-based fault model. The theoretical basis of the approach is presented with the key advantages being the ability to handle multiple errors as well as the fact that the error correction is not restricted by the input stimuli. This item ships from La Vergne,TN.
Verification and Error Correction on High-Level Decision Diagrams (2013)
ISBN: 9783659355707 bzw. 3659355704, vermutlich in Englisch, LAP LAMBERT Academic Publishing, Taschenbuch, neu.
Verification and Error Correction on High-Level Decision Diagrams, This book explores the theory of High-Level Decision Diagrams in application to formal verification and design error correction. We start with methods for synthesizing the diagrams for representing digital systems at higher behavioral, functional or register-transfer levels. The synthesized HLDDs can be used for high-level verification of digital systems. For this purpose, the HLDD model is appended by characteristic polynomials that canonically describe the graph structure of a diagram. These polynomials can be used for proving the equivalence between two HLDDs which have the same functionality but may have different structures. As soon as an error has been detected by the proposed approach, it must be localized and fixed. The described method is developed further to be applied to automated correction of design errors. We show how realistic design errors can be represented by the redirection-based fault model. The theoretical basis of the approach is presented with the key advantages being the ability to handle multiple errors as well as the fact that the error correction is not restricted by the input stimuli. Taschenbuch, 27.03.2013.
Verification and Error Correction on High-Level Decision Diagrams
ISBN: 9783659355707 bzw. 3659355704, vermutlich in Englisch, LAP Lambert Academic Publishing, Taschenbuch, neu.
Verification and Error Correction on High-Level Decision Diagrams: This book explores the theory of High-Level Decision Diagrams in application to formal verification and design error correction. We start with methods for synthesizing the diagrams for representing digital systems at higher behavioral, functional or register-transfer levels. The synthesized HLDDs can be used for high-level verification of digital systems. For this purpose, the HLDD model is appended by characteristic polynomials that canonically describe the graph structure of a diagram. These polynomials can be used for proving the equivalence between two HLDDs which have the same functionality but may have different structures. As soon as an error has been detected by the proposed approach, it must be localized and fixed. The described method is developed further to be applied to automated correction of design errors. We show how realistic design errors can be represented by the redirection-based fault model. The theoretical basis of the approach is presented with the key advantages being the ability to handle multiple errors as well as the fact that the error correction is not restricted by the input stimuli. Englisch, Taschenbuch.
Verification and Error Correction on High-Level Decision Diagrams (2015)
ISBN: 9783659355707 bzw. 3659355704, in Deutsch, LAP LAMBERT ACADEMIC PUB 01/01/2015, Taschenbuch, neu.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
Verification and Error Correction on High-Level Decision Diagrams (2013)
ISBN: 9783659355707 bzw. 3659355704, in Englisch, LAP Lambert Academic Publishing AG & Co. KG, LAP Lambert Academic Publishing AG & Co. KG, LAP Lambert Academic Publishing AG & Co. KG, gebraucht.
Karputkin Anton,Paperback, English-language edition,Pub by LAP Lambert Academic Publishing AG & Co. KG.
Verification and Error Correction on High-Leve (2013)
ISBN: 9783659355707 bzw. 3659355704, vermutlich in Englisch, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen