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