Formal Verification of Structurally Complex Multipliers
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 d...
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Korporativní autor: | |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Vydání: | 1st ed. 2023. |
| Témata: | |
| On-line přístup: | https://doi.org/10.1007/978-3-031-24571-8 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Právě probíhá údržba systému
Právě probíhá údržba knihovního systému.
V současné době nejsou dostupné informace o dostupnosti. Omlouváme se Vám za nepříjemnosti. Neváhejte nás kontaktovat a my se pokusíme zjistit požadované informace jinou cestou: