各种验证技术在SoC设计中的应用

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:jimmy7346
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文针对目前芯片验证中出现的瓶颈问题。阐述了当前流行的验证技术和部分硬件验证语言。文中介绍了SystemC和E语言。以及多种功能验证技术。最后通过对Rana接口芯片的功能验证探讨了各种验证技术在芯片设计流程中的场合和时机。
其他文献
目的:观察糙叶败酱大孔吸附树脂提取物对荷瘤小鼠红细胞免疫功能的调节作用。方法:D101大孔吸附树脂分离糙叶败酱水提物,测定其组分;糙叶败酱提取物作用于荷瘤小鼠(S180),观察生
目的:探讨“宫颈宁”水凝胶治疗非淋性宫颈炎的作用。方法:以临床妇科非淋性宫颈炎致病菌人型支原体(M.hominis,Mh)和解脲支原体(Ureaplasma urealyticum,Uu)为受试菌,倍比稀释法筛选有
目的:提取十全大补丸中的挥发油,并对其进行β-环糊精(3-CD)包合工艺的研究以增强其稳定性。方法:采用水蒸汽蒸馏法提取挥发油,以包合物得率及油利用率为指标,用正交设计法优选包合
目的:优选微波法提取丹参中有效成分丹参素和原儿茶醛的工艺条件。方法:以正交设计法,以水为溶剂,考察了微波功率、微波辐射时间及料液比3个因素,每个因素3个水平,选择正交设计
目的:探讨以丹参素作为丹参药材和含丹参药材的制剂质量控制标准的可行性。方法:采用HPLC法测定丹参素的含量,比较了超声、索氏两种方法提取丹参药材中丹参素的含量以及室温留样
目的:探讨新药透骨化毒酊抗炎镇痛作用。方法:分别采用小鼠耳廓肿胀法、大鼠足肿胀法、大鼠棉球肉芽肿胀法、大鼠佐剂性关节炎法、小鼠热板法、扭体法、甲醛致痛法等实验对透骨
采用高效液相色谱法,以XDP-C18(4.6×250mm)为色谱柱,甲醇-水[体积比为70:30,内含7.5mmol/L十二烷基硫酸钠(SDS),pH为4.5±0.1]为流动相,检测波长为215nm,测定了11种贝母样品,根据样品
目的:研究黄鹌菜的抗氧化活性。方法:分别采用大鼠心、肝、。肾匀浆自发性脂质过氧化、H2O2诱导肝匀浆脂质过氧化和诱导红细胞溶血的生物测定法,以及对化学反应产生羟自由基清除
目的:确立超临界流体萃取沙姜挥发油的最佳条件,并对其挥发油成分进行分析。方法:采用正交试验设计对萃取条件进行了优化,并采用气相色谱-质谱(GC/MS)联用技术对超临界样品进行分析
以天麻为实验材料,对AFLP指纹银染技术及实验操作中的关键技巧做了比较详尽的叙述,取得了比较理想的实验结果。