It's a Hardware Bug and I can Prove It
summary
Shows how to prove a fault is hardware not software by wiring two signals between CPU debug and FPGA logic: CPU breakpoint-out to logic analyzer trigger-in, and logic trigger-out to CPU external-break. Uses SignalTap on an Altera FPGA, ARM DS-5 kernel-aware debugger over JTAG, inspects Avalon bus chip-select/data and trace. Demo reads an NFC badge, sets a relay (active low write of 0), captures the exact bus transaction and stopped thread, finds missing backup battery causing the relay to fail, fixes it and the biscuit drawer opens.
AI-written summary · about
chapters (19)
- 0:00Introduction
- 1:32The PCB
- 4:10The FPGA
- 5:11Software and Hardware
- 6:14Systems are getting more complex
- 7:32Life or death
- 8:40Debugging tools
- 10:12Use cases
- 13:15ARM debug infrastructure
- 15:07How does it fit together
- 15:45Demonstration
- 17:31The Architecture
- 19:33The Setup
- 20:20Debug Configuration
- 21:43Start RS232
- 22:12Demo
- 25:18Logic Analyzer
- 25:59Triggers
- 32:13Integration
related talks
32mSecSi Product Development
21mGlitchGlück: Enabling Software Vulnerabilities through Guided Hardware Fault Injection
43mThe Tao of Hardware the Te of Implants
19mBe Write Back: An in-depth Study of Fault Injection Effects on FRAM Technology
34mWhen things go wrong and how we fix them
48mFatal Fury on ESP32: Time to Release Hardware Exploits
45mKeynote: How to Build Hardware Trojans
43mImplementing Practical Electrical Glitching Attacks