形式验证的英文

• formal verification

• "形式"英文翻译    form; shape; layout; modalit ...
• "验证"英文翻译    test and verify; checking; p ...
• "程序的形式验证" 英文翻译 :    formal verification of programs
• "正式验证" 英文翻译 :    formal verification
• "分布式验证服务" 英文翻译 :    das distributed authentication service
• "可插入式验证模块" 英文翻译 :    pam
• "形式化验证" 英文翻译 :    formal verification
• "验证" 英文翻译 :    test and verify; checking; proving; testing; confirmation; [数学] corroboration; inspection; verification
• "键式验孔" 英文翻译 :    key verify
• "平式验袜板" 英文翻译 :    flat examining board
• "无载式验" 英文翻译 :    no load test
• "箱式验潮仪" 英文翻译 :    box gauge
• "正式验收" 英文翻译 :    formal acceptance; formal inspection; official acceptance
• "形式" 英文翻译 :    1.(事物的形状、结构等) form; shape; layout; modality 流于形式 become a mere formality; 形式多样 be various in forms; 形式和内容 form and content; 他已经肯定获得那份工作了, 口头审查仅是形式而已。 he is already assured of the job and his interview is a mere formality.2.[自动化] (数据安排) format; [数学] quantic; shape
• "【造船】空泡式验筒。" 英文翻译 :    cavitation tunnel
• "电容式验电器" 英文翻译 :    condensing type electroscope
• "浮子式验潮仪" 英文翻译 :    float tide gauge; float-type tide gauge
• "快速固结式验" 英文翻译 :    quick consolidated test
• "压力式验潮仪" 英文翻译 :    pre ure tide gauge,; pressure tide gauge,
• "正式验收试验" 英文翻译 :    official acceptance test
• "补气引压式验潮仪" 英文翻译 :    gas purged pressure recording gauge; pneumatic bubbling gauge
• "电容器式验电器" 英文翻译 :    condenser electroscope
• "检验, 验证" 英文翻译 :    verify check
• "检验证" 英文翻译 :    cermet of inspection; inspection certificate
• "可验证" 英文翻译 :    verifiable

• And formal verification is one form of static verification
  其中形式验证是静态验证的一种。
• Formal verification of hybrid systems
  混合系统的形式验证方法
• Formal verification of hybrid systems and its application on chemical process control
  逻辑控制器的形式验证及其应用
• This paper analyses patial sequential theory of formal verification , states the principle of modeling complex systems
  本文通过对形式验证中部分顺序理论的分析，阐述了通过串并行部序集描述复杂系统的原理。
• The glossary significance finally manifests in the syntax structure by a certain form , the verb valence may carry on the formal verification in the syntax structure
  词汇意义最终在句法结构中以一定形式体现出来，动词的价可以在句法结构中进行形式验证。
• After evaluating synopsys ' s formality , the paper construes the flow and practical experiences in video post - process chip , and comes to the conclusion that static verification really works
  在简单评价了synopsys公司的商用软件formality之后，重点分析了在视频后处理芯片项目中formality的应用流程和实际工作经验，证明形式验证的重要作用。
• This paper is composed of four parts . the first part discusses about the strategy of verification ; the second one analyzes vera ; the third focuses on the anatomy of verification work in video post - process chip version 2 , the last one probes into the formal verification theory , and summarizes the flow according to practical experiences
  这篇论文分成四个部分，第一部分主要是对验证策略的介绍，第二部分是介绍vera语言的特性，第三部分是视频后处理第二版芯片中的验证工作的分析和总结，第四部分是对形式验证理论的探讨和视频后处理芯片中形式验证工具的使用以及经验的总结。
• It presents the verification strategy used in the whole eda design flow of the chip . the simulation on module level ( inc . post - layout ) uses the software event - driven simulator , the simulation of the associated modules or whole system uses cycle - based simulator and hardware emulator , for the gate - level netlist produced by using top - down design flow , the sta tool can analyze the static timing , and more formal verification is used to ensure the correct function
  本章还提出了系统在整个eda设计流程中的设计验证策略方法：模块级的模拟(包括布线后的模拟)全部采用事件驱动式的软件模拟工具来验证，各大模块的联合模拟及整个芯片的功能验证(寄存器传输级与门级)使用基于周期的模拟工具和硬件仿真器；对于采用top - down的设计方法得到的门级网表使用专门的静态时序分析工具来进行时序分析以及采用形式验证来保证正确的功能。

• 形式验证的法语：Vérification formelle
• 形式验证的日语：形式的検証
• 形式验证的俄语：Формальная верификация