Functional verification
In electronic design automation, functional verification is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, and takes the majority of time and effort in most large electronic system design projects. Functional verification is a part of more encompassing design verification, which, besides functional verification, considers non-functional aspects like timing, layout and power.
Wikipage disambiguates
Application-specific integrated circuitC to HDLDesign closureDesign for testingEVE/ZeBuElectronic design automationFormal equivalence checkingHardware accelerationHardware description languageHardware emulationHigh-level verificationIntegrated circuitIntegrated circuit designIntelligent verificationLogic simulationLogic synthesisModel theoryNusym TechnologyProcessor designRandom test generatorReference Verification MethodologySemulationSignoff (electronic design automation)Software renderingSymbolic trajectory evaluationSystemCSystemVerilogSystem on a chipVerificationVerification and validationXAP processor
Link from a Wikipage to another Wikipage
primaryTopic
Functional verification
In electronic design automation, functional verification is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, and takes the majority of time and effort in most large electronic system design projects. Functional verification is a part of more encompassing design verification, which, besides functional verification, considers non-functional aspects like timing, layout and power.
has abstract
In electronic design automatio ...... every branch been exercised?).
@en
功能验证(英語:functional verificatio ...... 性检查(形式验证)、断言等方式来进行,达到更高的功能覆盖率。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
950,166,138
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
In electronic design automatio ...... like timing, layout and power.
@en
功能验证(英語:functional verificatio ...... 性检查(形式验证)、断言等方式来进行,达到更高的功能覆盖率。
@zh
label
Functional verification
@en
功能验证
@zh