學(xué)員學(xué)習(xí)本課程應(yīng)具備下列基礎(chǔ)知識：
        ◆ 電路系統(tǒng)的基本概念。

        1、培訓(xùn)過程中，如有部分內(nèi)容理解不透或消化不好，可免費在以后培訓(xùn)班中重聽；
        2、培訓(xùn)結(jié)束后免費提供半年的技術(shù)支持，充分保證培訓(xùn)后出效果；
        3、培訓(xùn)合格學(xué)員可享受免費推薦就業(yè)機會。 ☆合格學(xué)員免費頒發(fā)相關(guān)工程師等資格證書，提升您的職業(yè)資質(zhì)。專注高端培訓(xùn)13年，曙海提供的證書得到本行業(yè)的廣泛認(rèn)可，學(xué)員的能力得到大家的認(rèn)同，受到用人單位的廣泛贊譽。

• What is functional verification and what is being verified　
  Formal Verification,Equivalence Checking,Model checking,
  Functional Verification,Test Bench Generation
• Functional Verification Approaches
  Black-Box,White-Box,Grey-Box
• The Verification Process
• Specification and Test Plan ((Specification->Features->Test cases)
  Direct 、Direct-Random and Random Test Case
• Advanced Verification Methodology
• System//Chip/Module Level Verification
• Behavioral Hardware Description Languages
• Stimulus and Response
  Generating complex waveforms,Self-Checking test benches,Complex
  Response,Predicting the output
• How to build reusable test bench
• Test Bench Acceleration
• Coverage Analysis in the Design Flow
• Feature Coverage and Code Coverage (Line Condition Toggle FSM)
  Coding Guidelines
  Structure,Naming Convention,Comments,Syntax,Debugging
• Simulation Management
  Modeling reset,Writing Good Behavioral Model,Regression Management

• Assertions Methodology
• Formal Verification ((Design Rule Check)
• Vector--based Verification
• Memory Verification
• Project Management and Verification Experience
  Introduce the useful verification experience that have been
  successfully used to produce one-passed ASICs,SoC,board,and
  entire systems.
• Verisity 's Specman e language
• Verisity 's e VC(e Verification Component)
• Verisity 's e RM(e Reuse Methodlogy)