-- Selection of Post-Silicon Hardware Assertions -- Part 4. Post-Silicon Debug -- Debug