Forth , depending on a limited syntax language , a research on the method and process of the semi - formal specification of the top level function is developed . this top level specification paves the way for the system verification and the covert channel analysis 第四,借助一种受限的句法语言,研究了对系统顶层功能进行半形式化规范的方法和过程,而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。
Design and implementation of a fast round robin scheduler , in which a pipelined barrel shifter and a pipelined priority encoder are used ; testbench development of functional simulation for module verification and system verification , in which the bfm simulation model are used and some reference examples are proposed ; discussing the questions that should be paid attention to when using fpga to design high speed circuits and some design skills ; taking part in the system ' s integration and fpga implementation ; taking part in the system ' s test and verification ; the design of this thesis has provided some key method for inter - communication among different network processors , and also accelerated the development of communication products 讨论了用fpga设计高速电路应注意的问题和一些常用的设计技巧;参与整个转换逻辑的系统集成和fpga实现;参与系统的验证工作;通信协议转换逻辑的设计不仅可以解决不同网络处理器之间互通的问题,而且对于促进国产数据通信产品的研究与开发具有很重要的意义。同时在设计的过程中,进一步地探讨了基于fpga的高速电路设计技术,对于fpga的设计有参考价值。
The method of using temporal logic definitely breaks up the limitations which are inherent in petri nets and unable to describe the temporal relationships between system events . at the same time , this method also utilizes the advantages of petri nets so that it can effectively describe and analyze the concurrent and physical structural properties of the system , for the purpose of system verification 该方法利用时序逻辑扩充了petri网缺乏描述系统事件之间时序关系的局限性,同时又发挥了petri网具有对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。
With powerful r d group including 35 professional technicians among which , there are 1 researcher , 6 senior engineers enjoying the national special subsidy , 15 engineers , 13 common technicians , 15 specific qc staffs , 2 iso9000 internal inspector and 1 measurement system verification internal appraiser 我公司拥有强有力的研发队伍,共有专业技术人员35名,其中研究员1名,享受国家特殊津贴,高级工程师6名,工程师15名,一般技术人员13名,拥有质量管理专职人员15名,其中具有iso9000内审员2名,计量体系确认内部评审员1名。
Wenzhou sanba sanitary articles plant takes to establish market by quality , to improve enterprise by famous brand as its development strategy . in march 2001 , the plant passed iso - 9002 international quality system verification carried out by china fangyuan verification committee . at the same time , china quality long march organization appointed it fixed - position supervision unit while its products were acknowledged as special quality request tracing products 温州市三八卫生用品厂实施“质量立市名牌兴业”的发展战略:企业2000年就顺利通过iso - 9000族国际质量体系认证,被“中国质量万里行”组织确认为“中国质量万里行”委员单位推荐产品,而今年率先在地区同行业中实施iso - 14000国际环境管理质量体系认证。