嵌入式系统设计复杂性的增加,以及产品生命周期的缩短和竞争态势的加强,将嵌入式设计技术不断推向极限。复杂设计包含更多器件以及更强的互操作性,因此需要更多仿真、更高吞吐量以及更好的综合测试。为解决复杂性问题,在设计过程中,设计团队需要另外一套方法,以减少系统验证运行时间,及早进行验证。一种策略是通过C或HDL编写的高级行为模型来提高建模抽象的级别。用抽象的C模型方法,建立嵌入式系统的结构化开发在系统抽象的较高级,结构化决策很少需要考虑细节。因此,抽象的C模型很少需要详细的功能性。这些高级C模型可以快