通过高级C模型验证管理设计的复杂性

摘要

嵌入式系统设计复杂性的增加，以及产品生命周期的缩短和竞争态势的加强，将嵌入式设计技术不断推向极限。复杂设计包含更多器件以及更强的互操作性，因此需要更多仿真、更高吞吐量以及更好的综合测试。为解决复杂性问题，在设计过程中，设计团队需要量另外一套方法，以减少系统验证运行时