The Prism Bridge: Maximizing Inter-Chip AXI Throughput in the High-Speed Serial Era
Article in IEEE Access (January 2023)
Embedded Software Verification and Debugging
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 An Overview About Debugging and Verification Techniques for Embedded Software
-
Altmetric BadgeChapter 2 Embedded Software Debug in Simulation and Emulation Environments for Interface IP
-
Altmetric BadgeChapter 3 The Use of Dynamic Temporal Assertions for Debugging
-
Altmetric BadgeChapter 4 Automated Reproduction and Analysis of Bugs in Embedded Software
-
Altmetric BadgeChapter 5 Model-Based Debugging of Embedded Software Systems
-
Altmetric BadgeChapter 6 A Mechanism for Monitoring Driver-Device Communication
-
Altmetric BadgeChapter 7 Model Checking Embedded C Software Using k -Induction and Invariants
-
Altmetric BadgeChapter 8 Scalable and Optimized Hybrid Verification of Embedded Software