PSS-验证用例建模和自动化生成

最近研究芯片验证用例自动化，主要了解到的知识包括：

1、PSS 语言标准和infact工具方法、原理；

2、MTB 测试建模方法，其中还分了很对类型的测试建模方法，如：路径建模，状态机建模，数据建模，以及数据驱动建模；

3、UML 中的用例建模方法；

总体的目的还是通过抽象建模测试对象，然后通过工具完成自动化生成用例。

PSS的设计思路则是借用建模思想，同时又融合芯片验证的主要验证语言特性，包括覆盖率、随机约束等而产生的。

个人理解，IC领域三大厂商之所以在力推PSS的标准化，一个是解决这个问题（这个确实是当前的一大痛点），另外一个是类似UVM，可以让用户更有粘性。

现状EDA工具新特性使用上还是有其困难性的，不知道有没有其他更好的方法。