Constraint-based verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal method...
Bewaard in:
Hoofdauteurs: | , , |
---|---|
Formaat: | Livro |
Taal: | Inglês |
Gepubliceerd in: |
Springer US,
2006
|
Editie: | 1st ed. 2006. |
Onderwerpen: | |
Online toegang: | https://minerva.ufrj.br/F/?func=direct&doc_number=000893790&local_base=UFR01 |
Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|