电子器件
電子器件
전자기건
JOURNAL OF ELECTRON DEVICES
2005年
1期
200-203
,共4页
受限随机矢量%功能验证%specman
受限隨機矢量%功能驗證%specman
수한수궤시량%공능험증%specman
在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在:①复杂验证场景难以构建.②边缘情况难以覆盖.基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量,有效解决了传统验证方法面临的挑战.本文以一款SOC的存储子系统控制模块为例,研究了在Specman验证平台上,使用E语言构建验证环境的基于受限随机矢量生成的功能验证在SOC设计中的应用.验证结果表明,复杂验证场景和边缘情况的覆盖率均达到100%.经过多目标圆片(MPW)流片试验和测试,采用该方法验证的模块达到设计要求.
在SOC設計中,傳統功能驗證方法麵臨諸多挑戰,主要體現在:①複雜驗證場景難以構建.②邊緣情況難以覆蓋.基于受限隨機矢量生成的功能驗證方法在滿足約束條件的前提下,隨機產生驗證矢量,有效解決瞭傳統驗證方法麵臨的挑戰.本文以一款SOC的存儲子繫統控製模塊為例,研究瞭在Specman驗證平檯上,使用E語言構建驗證環境的基于受限隨機矢量生成的功能驗證在SOC設計中的應用.驗證結果錶明,複雜驗證場景和邊緣情況的覆蓋率均達到100%.經過多目標圓片(MPW)流片試驗和測試,採用該方法驗證的模塊達到設計要求.
재SOC설계중,전통공능험증방법면림제다도전,주요체현재:①복잡험증장경난이구건.②변연정황난이복개.기우수한수궤시량생성적공능험증방법재만족약속조건적전제하,수궤산생험증시량,유효해결료전통험증방법면림적도전.본문이일관SOC적존저자계통공제모괴위례,연구료재Specman험증평태상,사용E어언구건험증배경적기우수한수궤시량생성적공능험증재SOC설계중적응용.험증결과표명,복잡험증장경화변연정황적복개솔균체도100%.경과다목표원편(MPW)류편시험화측시,채용해방법험증적모괴체도설계요구.
