Articoli correlati a Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers - Rilegato

 
9783031245701: Formal Verification of Structurally Complex Multipliers

Sinossi

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Alireza Mahzoon received his Dr.-Ing. Degree in computer science from the University of Bremen in 2022. He remained as a Post-Doctoral Researcher with the Group of Computer Architecture, University of Bremen. In December 2022, he became a senior engineer at Infineon Technologies, Munich, Germany. He published several papers at international conferences and journals, such as DATE, ICCAD, DAC, and TCAD. His current research interests include formal verification and debugging of arithmetic circuits with a focus on highly complex and industrial multipliers. He received the best paper award at ICCAD 2018.

Daniel Große received the Dr.-Ing. Degree in computer science from the University of Bremen in 2008. He remained as a Post-Doctoral Researcher with the Group of Computer Architecture, University of Bremen. In 2010, he was a substitute Professor for computer architecture with the University of Freiburg, Germany. From 2013 to 2014, he was the CEO of the EDA start-up solvertec focusing on automated debugging techniques. After that, until 2020, he was a Senior Researcher at the University of Bremen as well as Scientific Coordinator of the Graduate School System Design funded within the German Excellence Initiative. In addition, he has been working at the German Research Center for Artificial Intelligence (DFKI) since 2015. In July 2020, he became a full professor at the Johannes Kepler University Linz, Austria, where he is the head of the Institute for Complex Systems as well as the head of the “LIT Secure and Correct Systems Lab” (composing the expertise of over ten JKU institutes) since 2022. His current research interests include verification, virtual prototyping, debugging, synthesis and RISC-V. He published over 150 papers in peer-reviewed journals and conferences in the above areas. Dr. Große served in program committees of numerous conferences, including ASP-DAC, DAC, DATE, ICCAD, CODES+ISSS, GLSVLSI, FDL, ETS, and MEMOCODE and was the General Chair of FDL 2022. He received best paper awards (FDL 2007, DVCon Europe 2018, ICCAD 2018,FDL 2020 and FDL 2022) as well as business-related awards (IKT Innovativ Award 2013, Weconomy Award 2013, and Embedded Award 2014). He is an IEEE Senior Member and an Allied Member of the Accellera Systems Initiative in the SystemC Verification Working Group.

Rolf Drechsler received the Diploma and Dr. phil. nat. degrees in computer science from the Johann Wolfgang Goethe University in Frankfurt am Main, Germany, in 1992 and 1995, respectively. He worked at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany, from 1995 to 2000, and at the Corporate Technology Department, Siemens AG, Munich, Germany, from 2000 to 2001.  Since October 2001, Rolf Drechsler is Full Professor and Head of the Group of Computer Architecture, Institute of Computer Science, at the University of Bremen, Germany. In 2011, he additionally became the Director of the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI) in Bremen.  His current research interests include the development and design of data structures and algorithms with a focus on circuit and system design. He is an IEEE Fellow.

Dalla quarta di copertina

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

  • Provides extensive introduction to the field of Symbolic Computer Algebra (SCA) and its application to multiplier verification;
  • Discusses the challenges of SCA-based verification when it comes to proving the correctness of structurally complex multipliers;
  • Describes three techniques to improve and extend SCA for the verification of structurally complex multipliers;
  • Introduces a complete debugging flow to localize and fix bugs in structurally complex multipliers.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer Nature
  • Data di pubblicazione2023
  • ISBN 10 3031245709
  • ISBN 13 9783031245701
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero edizione1
  • Numero di pagine144
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: buono
Back cover shows sizeable scuffing...
Visualizza questo articolo

EUR 12,60 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783031245732: Formal Verification of Structurally Complex Multipliers

Edizione in evidenza

ISBN 10:  3031245733 ISBN 13:  9783031245732
Casa editrice: Springer, 2024
Brossura

Risultati della ricerca per Formal Verification of Structurally Complex Multipliers

Foto dell'editore

Mahzoon, Alireza,GroÃe, Daniel,Drechsler, Rolf
Editore: Springer, 2023
ISBN 10: 3031245709 ISBN 13: 9783031245701
Antico o usato Rilegato

Da: Books From California, Simi Valley, CA, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

hardcover. Condizione: Good. Back cover shows sizeable scuffing. Otherwise book is minimally worn. Pages are clean, text and pictures are intact and unmarred. Binding intact and firm. Good reading copy. Codice articolo mon0003770862

Contatta il venditore

Compra usato

EUR 65,71
Convertire valuta
Spese di spedizione: EUR 12,60
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Mahzoon, Alireza|Große, Daniel|Drechsler, Rolf
ISBN 10: 3031245709 ISBN 13: 9783031245701
Nuovo Rilegato
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to provi. Codice articolo 770364531

Contatta il venditore

Compra nuovo

EUR 83,50
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Alireza Mahzoon
ISBN 10: 3031245709 ISBN 13: 9783031245701
Nuovo Rilegato
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections. 144 pp. Englisch. Codice articolo 9783031245701

Contatta il venditore

Compra nuovo

EUR 96,29
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Alireza Mahzoon
ISBN 10: 3031245709 ISBN 13: 9783031245701
Nuovo Rilegato

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections. Codice articolo 9783031245701

Contatta il venditore

Compra nuovo

EUR 96,29
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Alireza Mahzoon
ISBN 10: 3031245709 ISBN 13: 9783031245701
Nuovo Rilegato

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. Neuware -This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch. Codice articolo 9783031245701

Contatta il venditore

Compra nuovo

EUR 96,29
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Editore: Springer, 2023
ISBN 10: 3031245709 ISBN 13: 9783031245701
Nuovo Rilegato

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783031245701_new

Contatta il venditore

Compra nuovo

EUR 105,90
Convertire valuta
Spese di spedizione: EUR 10,60
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Mahzoon, Alireza/ Grosse, Daniel/ Drechsler, Rolf
Editore: Springer Nature, 2023
ISBN 10: 3031245709 ISBN 13: 9783031245701
Nuovo Rilegato

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Brand New. 143 pages. 9.25x6.10x9.21 inches. In Stock. Codice articolo x-3031245709

Contatta il venditore

Compra nuovo

EUR 140,31
Convertire valuta
Spese di spedizione: EUR 11,79
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello