简体版 English
登入 註冊

形式驗證的英文

讀音:
"形式驗證"怎麼讀
英文翻譯手機版
  • formal verification
例句與用法
  • 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的設計方法得到的門級網表使用專門的靜態時序分析工具來進行時序分析以及采用形式驗證來保證正確的功能。
用"形式驗證"造句  
形式驗證的英文翻譯,形式驗證英文怎麽說,怎麽用英語翻譯形式驗證,形式驗證的英文意思,形式验证的英文形式验证 meaning in English形式驗證怎麼讀,发音,例句,用法和解釋由查查在綫詞典提供,版權所有違者必究。