IP最小参数空间提取模型  

Model of Extracting IP Minimum Parameter Space

作　　者：徐春霞[1] 卢雪萍[2] 

机构地区：[1]浙江工业职业技术学院,浙江绍兴312000 [2]绍兴文理学院,浙江绍兴312000

出　　处：《现代电子技术》2008年第11期179-180,183,共3页Modern Electronics Technique

摘　　要：为了能使IP在不同的系统中被重用,通常将IP参数化。参数的广泛使用一方面给IP重用带来方便,另一方面大量的参数又将给IP认证、验证和集成带来新的问题。针对IP参数化带来的问题提出一种新的递交方法,首先基于参数及其相互依赖关系,对大量的参数进行统一描述,再构成参数域值图PDG将参数空间分为多个正交的有效子空间。依靠PDG,用户进行参数检查所需要的测试向量条件可以自动产生,而且也可以获取验证环境的约束条件,收集、分析功能覆盖率的数据,减少了系统设计过程中的验证工作。In order to be reused in different applications Intellectual Properties （IP） are usually parameterized.The extensive use of parameters enables users to customize IP to their needs in different applications.On the other hand,a large number of parameters imposes new problems during IP qualification,verification and integration.This article gives an overview of the present work in the addressing problems due to IP parameterization.On the basis of a formal description of parameters and their interdependences so-called Parameter Domain Graphs （PDG） are constructed.Relying on PDG,testbench components for assertion-based parameter checking are automatically generated.Furthermore,generation constraints for verification environments are derived,collection and analysis of functional coverage data are implemented.The verification effort during the design of system is reduced.

关 键 词：IP 依赖性 参数域值图 知识产权 片上系统 功能覆盖率 

分 类 号：TN368.1[电子电信—物理电子学]