This paper takes over kinds of ingredients , such as capability and area and timing of chip . and functional verification of risc puts in practice from kinds of aspects , such as structure , instruction channels , data path , and implement of circuit 本论文在综合考虑芯片的性能、面积、时序等各方面因素，从结构、指令通道、数据通道、以及电路的具体实现等方面入手对risc的核进行功能验证。
The dissertation introduces into standards of soc functional verification of vsia , which consists of organization of standardization . based on these , we build up verification platform , and mark out the verification plan of hgd08r01 , to simulation its function 本文基于介绍作为soc中标准化制定组织的vsia制定的功能验证的标准，搭建测试平台，把它运用在实际仿真验证中，进行功能上的仿真和验证。
Also , i have studied on techniques of functional verification , and studied theoretically verification platform . in the result , this dissertation puts forward the methodology of verification platform of automatic comparison , to shorten design periods and eliminate design bugs 笔者研究功能验证技术，并对验证平台进行了理论研究，提出了标准文件比较的平台验证方法，从而缩短设计周期和减少设计错误。
The research way is as followed , after analysis all kinds of design way of the asic , and the inner system structure of mcu , finish verification of all fuction base on the 8 bit mcu core taking a way assemble with the application system develop of mcu 所采用的研究方法是:在系统分析asic设计技术以及所采用的mcu内部系统结构之后，采取在8位mcu核基础之上，运用与mcu应用系统开发相同的手段，完成asic所具有功能验证的全部验证过程。
( 3 ) after comparison , the thesis chose embedded linux and used develop platform ( wh5307sdk ) which sold by wanhe company in zhuhai to develop a intelligent platform based on embedded linux . in the end , the thesis made it and some functions of the system mentioned above was validated 三在比较、选择之后，考虑到嵌入式linux的优点，选择珠海万禾公司的开发套件( wh5307sdk )编程实现了一个基于嵌入式linux的智能平台。从而实现了对以上提出的控制系统方案进行部分功能验证的目的。
The successful design of gsmb main board can not only establish theory and practice basis of designing server but also fill up the blank of no safety server based on domestic general cpu in our country in a long time . moreover , gsmb platform can provide north bridge , south bridge , soc ip core with a cross function hardware test circumstance , which can avail to develop chip groups of independent knowledge right , design all kinds of general cpu and high speed embedded cpu , strengthen market competitive ability , finish industrial develop of domestic cpu at an early date Gsmb的开发成功，不仅为服务器主板设计积累了理论和实践基础，而且填补了我国长期没有基于国产通用cpu的安全服务器的空白，更可以为研制北桥ipcore 、南桥ipcore 、 socipcore提供一个可进行交叉功能验证的硬件平台，以利于开发具有自主知识产权的芯片组、各种通用cpu和高速嵌入式cpu 、增强市场竞争力、早日完成国产cpu的产业化发展。
The work described in this paper is used to build up a simulation - based functional verification platform , which obtaining test vector via the combination of automatic pseudorandom generation and manual generation , and then verify the thuasdsp2004 by comparison between the simulation result of verilog - hdl code and c - model of it 本文叙述的内容用于构建基于模拟的功能验证( simulation - basedfunctionalverification )平台,该平台采用伪随机自动生成和手动编写相结合的策略获得测试矢量,再将处理器rtl级实现的模拟结果与周期级精确的仿真器产生的结果做比较来验证数字信号处理器的正确性。
The verification process for a digital signal processor with very long instruction word ( vliw ) named thuasdsp2004 , which is developed by tsinghua university microelectronic institute sponsored by national natural science foundation , is analyzed at the register - transfer level in this paper 本文介绍在国家自然科学基金的资助下,由清华大学微电子研究所设计的具有超长指令字( verylonginstructionword , vliw )体系结构特点的数字信号处理器thuasdsp2004的rtl级功能验证工作。
