黑龙江工程学院学报(自然科学版)
黑龍江工程學院學報(自然科學版)
흑룡강공정학원학보(자연과학판)
JOURNAL OF HEILONGJIANG INSTITUTE OF TECHNOLOGY
2009年
4期
47-49
,共3页
高层次%数据通路模型%字级多项式%形式验证
高層次%數據通路模型%字級多項式%形式驗證
고층차%수거통로모형%자급다항식%형식험증
当前所研究的集成电路已经越来越趋于复杂化,伴随着这个变化,需要在设计流程的早期进行良好的功能正确性验证.将多项式代数符号方法应用于高层次数据通路的研究中,通过字级多项式实现寄存器和传输级之间的等价性验证,从多项式集合公共零点的角度定义高层次数据通路的功能等价,通过验证数据证明形式验证与等价验证的正确性.
噹前所研究的集成電路已經越來越趨于複雜化,伴隨著這箇變化,需要在設計流程的早期進行良好的功能正確性驗證.將多項式代數符號方法應用于高層次數據通路的研究中,通過字級多項式實現寄存器和傳輸級之間的等價性驗證,從多項式集閤公共零點的角度定義高層次數據通路的功能等價,通過驗證數據證明形式驗證與等價驗證的正確性.
당전소연구적집성전로이경월래월추우복잡화,반수착저개변화,수요재설계류정적조기진행량호적공능정학성험증.장다항식대수부호방법응용우고층차수거통로적연구중,통과자급다항식실현기존기화전수급지간적등개성험증,종다항식집합공공영점적각도정의고층차수거통로적공능등개,통과험증수거증명형식험증여등개험증적정학성.