【摘 要】
：
介绍了一种基于UVM（Universal Verification Methodology）验证方法学的验证平台.该验证平台是针对基于自主知识产权的国产MCU C0的CPU卡芯片的功能验证需求所搭建的.该验证平台
【机 构】
：
南通大学江苏省专用集成电路设计重点实验室
论文部分内容阅读
介绍了一种基于UVM（Universal Verification Methodology）验证方法学的验证平台.该验证平台是针对基于自主知识产权的国产MCU C0的CPU卡芯片的功能验证需求所搭建的.该验证平台采用面向对象的层次化的建模方法,完成了符合ISO14443协议的验证事务,通用功能验证组件以及设计参考模型的建模;能实时监测设计中信号的变化,能实现在验证过程中验证结果的自动对比,能根据覆盖率调整验证的进程.验证结果表明,该验证平台具有复用性,提升了芯片验证的效率和可靠性.
其他文献
凉膈散治疗休克型肺炎临床观察杨素珍休克型肺炎是以周围循环衰竭为其主要表现的一种重症肺炎，亦称“中毒性肺炎”。绝大多数见于冬春两季。起病前多有受寒、上呼吸道感染及劳
检测和分析组织或细胞中的基因表达水平常用的方法有原位杂交、Northern印迹杂交、RNA打点杂交、S1核酸酶和核酸酶A保护分析法等,这些方法除原位杂交比较敏感外,其它的方法均
儿童脑干损伤临床上较为少见.1992年6月至2001年6月,我科收治儿童原发性脑干损伤29例,疗效满意.
中医药治疗功能失调性子宫出血４６例符毓筠功能失调性子宫出血（功血）类似中医“崩漏”，属妇科急症范畴。对西医确诊为“功血”患者，笔者经用中药治疗效果满意，现将４６例资料总结如下。１临
静脉滴注青霉素致惊厥１例宋大昭梁淑琴周人熙张菊花１病历简介患者男，４２岁，因颜面及下肢水肿、少尿１０天就诊。查体：体温３７℃，脉搏８０次／分，呼吸２０次／分，血压２０／１２ｋＰａ（１ｋＰａ＝７．５ｍｍＨｇ），面色苍白，眼睑及面部水肿，咽部充血，双侧扁..
为了提高动态手势识别中的匹配效率，提出一种改进的LB算法．首先，对采集手势深度信息进行实时分割，并使用一种新的特征提取方法对手势进行描述．然后，引入锚定距离的概念，并将其应用到
山莨菪碱的临床新应用吴福荣山莨菪碱为我国从前科植物唐古物莨菪中分离出的一种生物碱，现已人工合成，其人工合成品为６５４－２。为Ｍ胆碱受体阻滞剂，具有解除血管痉挛、改善微循环，并有镇痛
环境因素及不当保存会使古籍退化严重，对此设计一种二值化算法来解决具有均匀字符大小的退化古籍图像的低对比度问题，从而更好地揭示古籍所记载内容．算法首先利用Canny算子提取
针对海量数据难处理的难题，利用Hadoop平台下的Map-Reduce模型，实施了一种改进的对海量数据进行并行处理的K-means算法．为了解决传统的K-means算法对初始聚类中心和聚类数敏感的
在实验室录音设备条件下，提取基于Mel的特征参数及其差分倒谱系数（DCC）和差分频谱倒谱系数（DSCC），利用增减分量法进行有效融合，建立基于VQ的说话人识别模型，采用LBG算法设计不同码本