嵌入式实时系统的时序驱动设计和验证方法 电子书下载

原名:A Timing-Driven Design and Validation Methodology for Embedded Real-Time Systems
作品简介:首先对系统导出对系统内部行为的时序约束，然后将它们用于实时系统和嵌入式系统； D.4.8 操作系统 后者在架构设计阶段表达。……