| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910503390503321 |
|
|
Titolo |
The dawn |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Ellensburg, Wash. : , : The Dawn Publishing Co., , 1895-1898 |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Edizione |
[Weekly ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
TurnerRobert A. <1859-1941.> |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Populism - Washington (State) |
Populism |
Newspapers. |
Ellensburg (Wash.) Newspapers |
Washington (State) |
Washington (State) Ellensburg |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Robert A. Turner, editor. |
"Keep in the middle of the road." |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910672445403321 |
|
|
Autore |
Mahzoon Alireza |
|
|
Titolo |
Formal Verification of Structurally Complex Multipliers / / by Alireza Mahzoon, Daniel Große, Rolf Drechsler |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 130 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Electronic circuits |
Electronic circuit design |
Computer science - Mathematics |
Embedded computer systems |
Electronic Circuits and Systems |
Electronics Design and Verification |
Symbolic and Algebraic Manipulation |
Embedded Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Background -- Challenges of SCA-based Verification -- Local Vanishing Monomials Removal -- Reverse Engineering -- Dynamic Backward Rewriting -- SCA-based Verifier RevSCA-2.0 -- Debugging -- Conclusion and Outlook. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 complexmultipliers; 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. |
|
|
|
|
|
| |