Imagen de Portada

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification /

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases. The authors introduce the Waveform A...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Klemmer, Lucas (Autor), Große, Daniel (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Lenguaje:inglés
Publicado: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edición:1st ed. 2025.
Materias:
Electronic circuit design.
Embedded computer systems.
Logic design.
Electronics Design and Verification.
Embedded Systems.
Logic Design.
Acceso en línea:https://doi.org/10.1007/978-3-031-83093-8
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Tabla de Contenidos:
  • Chapter 1 Introduction
  • Chapter 2 Background
  • Chapter 3 Processor Verification by Equivalent Program Execution
  • Chapter 4 A Formally Verified Microcoded RISC-V Platform
  • Chapter 5 The Waveform Analysis Language
  • Chapter 6 Programmable Analysis of RISC-V Processors using WAL
  • Chapter 7 HDL-Integrated Waveform Analysis
  • Chapter 8 An Interactive Debugging Methodology Based on WAL
  • Chapter 9 Netlist Optimization using Formal Methods under ExternalConstraints
  • Chapter 10 Conclusion and Outlook.

Ejemplares similares