Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013077575> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2013077575 endingPage "479" @default.
- W2013077575 startingPage "478" @default.
- W2013077575 abstract "Comprehensive Functional Verification, by Bruce Wile, John C. Goss, and Wolfgang Roesner (Morgan Kaufmann, 2005, ISBN 0-12-751803-7, 704 pp., $59.95). This new verification book lives up to its title—it is by far one of the most comprehensive books on verification. The authors have structured the volume to first and foremost cover verification as a disciplined methodology, and have placed all the different topics into an overall functional verification cycle. The book is divided into five major parts: an introductory survey of verification; a detailed description of simulation-based dynamic verification; formal verification; verification methodologies and advanced techniques; and case studies." @default.
- W2013077575 created "2016-06-24" @default.
- W2013077575 creator A5086305302 @default.
- W2013077575 date "2005-05-01" @default.
- W2013077575 modified "2023-09-25" @default.
- W2013077575 title "Verification by the pound" @default.
- W2013077575 doi "https://doi.org/10.1109/mdt.2005.121" @default.
- W2013077575 hasPublicationYear "2005" @default.
- W2013077575 type Work @default.
- W2013077575 sameAs 2013077575 @default.
- W2013077575 citedByCount "1" @default.
- W2013077575 crossrefType "journal-article" @default.
- W2013077575 hasAuthorship W2013077575A5086305302 @default.
- W2013077575 hasConcept C110251889 @default.
- W2013077575 hasConcept C111498074 @default.
- W2013077575 hasConcept C115903868 @default.
- W2013077575 hasConcept C127413603 @default.
- W2013077575 hasConcept C142284323 @default.
- W2013077575 hasConcept C186846655 @default.
- W2013077575 hasConcept C187250869 @default.
- W2013077575 hasConcept C199360897 @default.
- W2013077575 hasConcept C202973057 @default.
- W2013077575 hasConcept C21547014 @default.
- W2013077575 hasConcept C2777904410 @default.
- W2013077575 hasConcept C33054407 @default.
- W2013077575 hasConcept C3406870 @default.
- W2013077575 hasConcept C41008148 @default.
- W2013077575 hasConcept C48002344 @default.
- W2013077575 hasConcept C529173508 @default.
- W2013077575 hasConcept C62460635 @default.
- W2013077575 hasConceptScore W2013077575C110251889 @default.
- W2013077575 hasConceptScore W2013077575C111498074 @default.
- W2013077575 hasConceptScore W2013077575C115903868 @default.
- W2013077575 hasConceptScore W2013077575C127413603 @default.
- W2013077575 hasConceptScore W2013077575C142284323 @default.
- W2013077575 hasConceptScore W2013077575C186846655 @default.
- W2013077575 hasConceptScore W2013077575C187250869 @default.
- W2013077575 hasConceptScore W2013077575C199360897 @default.
- W2013077575 hasConceptScore W2013077575C202973057 @default.
- W2013077575 hasConceptScore W2013077575C21547014 @default.
- W2013077575 hasConceptScore W2013077575C2777904410 @default.
- W2013077575 hasConceptScore W2013077575C33054407 @default.
- W2013077575 hasConceptScore W2013077575C3406870 @default.
- W2013077575 hasConceptScore W2013077575C41008148 @default.
- W2013077575 hasConceptScore W2013077575C48002344 @default.
- W2013077575 hasConceptScore W2013077575C529173508 @default.
- W2013077575 hasConceptScore W2013077575C62460635 @default.
- W2013077575 hasIssue "5" @default.
- W2013077575 hasLocation W20130775751 @default.
- W2013077575 hasOpenAccess W2013077575 @default.
- W2013077575 hasPrimaryLocation W20130775751 @default.
- W2013077575 hasRelatedWork W1235034260 @default.
- W2013077575 hasRelatedWork W1493466221 @default.
- W2013077575 hasRelatedWork W1542124114 @default.
- W2013077575 hasRelatedWork W1573022308 @default.
- W2013077575 hasRelatedWork W2013077575 @default.
- W2013077575 hasRelatedWork W2088108213 @default.
- W2013077575 hasRelatedWork W2100142439 @default.
- W2013077575 hasRelatedWork W2381732519 @default.
- W2013077575 hasRelatedWork W3120172095 @default.
- W2013077575 hasRelatedWork W3171879404 @default.
- W2013077575 hasVolume "22" @default.
- W2013077575 isParatext "false" @default.
- W2013077575 isRetracted "false" @default.
- W2013077575 magId "2013077575" @default.
- W2013077575 workType "article" @default.