论文部分内容阅读
为了能使IP在不同的系统中被重用，通常将IP参数化。参数的广泛使用一方面给IP重用带来方便，另一方面大量的参数又将给IP认证、验证和集成带来新的问题。针对IP参数化带来的问题提出一种新的递交方法，首先基于参数及其相互依赖关系，对大量的参数进行统一描述，再构成参数域值图PDG将参数空间分为多个正交的有效子空间。依靠PDG，用户进行参数检查所需要的测试向量条件可以自动产生，而且也可以获取验证环境的约束条件，收集、分析功能覆盖率的数据，减少了系统设计过程中的验证工作。