【摘 要】
：
基于模拟的验证方法是当前应用最为广泛的芯片验证方法,然而随着集成电路设计规模的不断增大,模拟验证的不完备性问题显得越来越突出,编写激励变得越来越困难。对于FT-XD
【机 构】
：
湖南省长沙市国防科学技术大学计算机学院 410073
【出 处】
：
第十九届计算机工程与工艺年会暨第五届微处理器技术论坛
论文部分内容阅读
基于模拟的验证方法是当前应用最为广泛的芯片验证方法,然而随着集成电路设计规模的不断增大,模拟验证的不完备性问题显得越来越突出,编写激励变得越来越困难。对于FT-XDSP派发部件的验证由于结构的复杂性,指令组合的多样性,使得模拟验证变得非常困难,仅仅采用模拟验证方法难以达到全面高效的验证要求。本文采用一种形式化验证分析工具——IFV,基于SVA语言,以定理证明的形式化验证方法针对FT-X DSP派发部件在分支和中断接口关闭情况下的预译码,并行位编码,指令窗口生成以及再译码等功能进行了验证。实验结果表明,使用本文的方法可以很快发现存在的错误,IFV验证是全面和高效的。
其他文献
随着集成电路工艺的不断发展,MOS晶体管的栅氧化层越来越薄,同时为了提高芯片的性能而采取了salicide制程,使得随着工艺尺寸的缩小,半导体器件本身的静电防护能力越来越弱,这
城市的基础建设项目逐渐从地上建筑转移为地下建筑。然而地下结构所处环境较地上结构复杂。越来越多的建筑运营情况表明,地下建筑受诸多不利因素综合作用,加剧混凝土结构破坏
针对国产FT-DSP独特的硬件结构和指令集，设计了一套专用的辐照效应测试系统。并在文中阐述了该系统的逻辑结构和硬件结构，并分别阐述了软件系统工作方式以及各个部件的测试
乘法部件是处理器的核心部件之一，其功耗为处理器功耗的重要来源，因此减小乘法部件功耗可以有效降低处理器功耗。本文在对X-DSP的乘法部件分析基础上，根据X-DSP执行不同指令
目前在土工基本试验项目中，液塑限的测定方法未能统一，传统的液限和塑限的测定方法，如滚搓法、沉锥法等，由于受人为因素干扰较大，试验中土样的液塑限结果处于一个很宽的范围。液塑
可重构处理器具有通用处理器的灵活性，又能获得专用处理器级别的性能，因此在学术和工业界都具有很大的吸引力。然而，目前可重构处理器技术还不成熟，各种应用在可重构处理器上
附子为毛茛科植物乌头(Aconitum carmichaelii Debx.)的子根,有毒,味辛、甘,性大热,具有回阳救逆,补火助阳,逐风寒湿邪的功效,是著名四川道地药材,在我国传统中医应用中有着不可替代的地位。长期以来,附子栽培上是以“乌药”进行无性繁殖,这导致其多种变异类型的种源混杂种植现象严重,这将难以保证药用附子在中医药临床应用中的用药安全与用药效果,因此选育高产优质的附子品种,并对其进行
桥梁结构在服役期间必然会存在大大小小的损伤，也正是由于这些潜在的损伤给人们的生命财产带来了巨大的损失，因此对于桥梁结构的损伤检测是非常有必要的。现社会的桥梁结构损伤
星星草(Puccinellia tenuiflora)属禾本科碱茅属多年生旱中生草本植物，具有很强的耐盐能力，经人工种植可在pHlO以上的碱斑地上生长发育。本研究采用4种胁迫10种处理(每种处理溶
从华中农业大学试验农场的植物根际分离到8株对植物有明显促生作用的细菌。对其进行了细胞形态观察、生理生化试验和盆栽试验，并研究了菌株的促生作用及部分菌株之间的相互作