| 1. | To conduct system verification and performance test , we needed to design an eight channels array signal simulation device
为进行该系统的功能验证和性能测试,我们需要设计一个八通道阵列信号模拟器。 |
| 2. | For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
他将时序逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。 |
| 3. | He has worked on a number of corporate accounts , and now applies that expertise to system verification testing for content in websphere portal
他曾经为许多团体工作，现在将那些经验应用于websphere portal中的内容的系统验证测试。 |
| 4. | Brian currently works on the websphere system verification test team and tests both coexistence and multiple profile creation on distributed platforms
Brian目前在websphere system verification test小组工作，测试分散式平台上的多个概要文件共存问题。 |
| 5. | In addition , we have passed the iso9001 : 2000 international quality management system verification in 2005 as a precondition to access the international market
值得一提的是，我们已通过了iso9001 : 2000的质量体系认证，这意味着我们具备了进入世界市场的先决条件。 |
| 6. | To rapid and accurate system verification , new and innovative approaches and more powerful tools should be introduced , and verification approaches independent of tools and designs should be pursued
为了保证系统测试的快捷和精确，我们必须改进测试工具，革新测试方法，探讨独立于开发工具和设计过程的测试方法。 |
| 7. | Md32 verification is implemented in both fpga hardware verification platform and software verification platform , which achieve unit , architecture and system verifications . md32 processor can be sufficiently verified on these platforms
通过软平台中的单元验证、结构验证、系统验证等步骤，以及基于fpga的硬平台验证，保证了md32处理器的正确性和完备性。 |
| 8. | Established in1989 , currently it belongs to corporation enterprise with rich technical strength and exquisite equipment , all - round testing equipment and perfect management system , in 2001 , we had passed iso - 9001 : 2000 quality management system verification as one time
企业技术力量雄厚，工装设备精良，检测手段全，管理体系完善，在2001年一次审核通过iso - 9001 ： 2000质量管理体系的论证。 |
| 9. | We are striving to meet the demand of the market abroad and at home by advanced technology and excellent products through completely sticking to carrying out quality management and strictly complying with iso9001 : 2000 international quality system verification
公司坚持推行全面质量管理严格遵循iso9001 ： 2000国际质量体系标准，力求以领先的技术、高品质的产品来满足国内外市场客户的需求。 |
| 10. | Moreover , we have passed iso9001 international quality system verification in the trade with no defect at first , and the ce certification , and then became a leader in the field of bag - given type full - automatic packaging machine and pillow type packing machine , at home
并且，在行业内最先以零缺陷通过了iso9001产品质量体系认证， ce认证，成为国内领先的给袋式全自动包装机构及枕式包装机械生产企业。 |
