电子系统级设计调试技术与实践

本书《电子系统级设计调试》探讨了现代复杂集成电路和系统设计中的调试挑战，特别是在电子系统级（ESL）设计中。书中介绍了SystemC作为系统级设计的事实标准，以及如何使用静态分析、动态分析、属性生成和自动故障隔离等技术来系统化地搜索和修复错误。通过实际工业设计的实证评估，本书展示了这些技术如何提高错误检测、观察和隔离的速度，并加速设计理解。此外，书中还讨论了ESL建模和验证的最新进展，提供了丰富的实例和实验结果，帮助读者更好地掌握ESL设计中的调试方法和技术。