随着系统级芯片技术的出现，设计规模正变得越来越大，因而变得非常复杂，同时上市时间也变得更加苛刻。通常RTL已经不足以担当这一新的角色。上述这些因素正驱使设计师开发新的方法学，用于复杂IP(硬件和软件)以及复杂系统的验证。ST公司建立了一个设计流，它从抽象开始，易于将模型写入IP的精密周期或RTL模型中。当转入低级抽象时，建模变得复杂，故IP验证也复杂。我们的方案适合于这种应用场景，因为它允许人们在各地相似的环境中运行相同的测试平台和测试场景，因而允许在整个开发周期里高效地复用所有的测试范例和环境。
在半导体领域，开发产品的步就是以抽象开发规范的模型，通常用C/C++来实现。这里，Syst
