Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163777752> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2163777752 abstract "This thesis shows that designers definitely do want proofs. The first author saw ample evidence of that at Motorola, where he managed a verification CAD group, and at Synopsys, where he was involved in verification tools, customers, and in verification projects with our DesignWare component groups. Our talk will discuss some success we had with our DesignWare team." @default.
- W2163777752 created "2016-06-24" @default.
- W2163777752 creator A5008133453 @default.
- W2163777752 creator A5041216350 @default.
- W2163777752 creator A5050626433 @default.
- W2163777752 creator A5069098823 @default.
- W2163777752 date "2005-07-06" @default.
- W2163777752 modified "2023-09-27" @default.
- W2163777752 title "Designers want proofs - but show me the money" @default.
- W2163777752 cites W2118325845 @default.
- W2163777752 cites W2155646542 @default.
- W2163777752 doi "https://doi.org/10.1109/memcod.2004.1459842" @default.
- W2163777752 hasPublicationYear "2005" @default.
- W2163777752 type Work @default.
- W2163777752 sameAs 2163777752 @default.
- W2163777752 citedByCount "0" @default.
- W2163777752 crossrefType "proceedings-article" @default.
- W2163777752 hasAuthorship W2163777752A5008133453 @default.
- W2163777752 hasAuthorship W2163777752A5041216350 @default.
- W2163777752 hasAuthorship W2163777752A5050626433 @default.
- W2163777752 hasAuthorship W2163777752A5069098823 @default.
- W2163777752 hasConcept C108710211 @default.
- W2163777752 hasConcept C115903868 @default.
- W2163777752 hasConcept C121332964 @default.
- W2163777752 hasConcept C168167062 @default.
- W2163777752 hasConcept C2524010 @default.
- W2163777752 hasConcept C33923547 @default.
- W2163777752 hasConcept C41008148 @default.
- W2163777752 hasConcept C97355855 @default.
- W2163777752 hasConceptScore W2163777752C108710211 @default.
- W2163777752 hasConceptScore W2163777752C115903868 @default.
- W2163777752 hasConceptScore W2163777752C121332964 @default.
- W2163777752 hasConceptScore W2163777752C168167062 @default.
- W2163777752 hasConceptScore W2163777752C2524010 @default.
- W2163777752 hasConceptScore W2163777752C33923547 @default.
- W2163777752 hasConceptScore W2163777752C41008148 @default.
- W2163777752 hasConceptScore W2163777752C97355855 @default.
- W2163777752 hasLocation W21637777521 @default.
- W2163777752 hasOpenAccess W2163777752 @default.
- W2163777752 hasPrimaryLocation W21637777521 @default.
- W2163777752 hasRelatedWork W1484851744 @default.
- W2163777752 hasRelatedWork W1514164406 @default.
- W2163777752 hasRelatedWork W1516168686 @default.
- W2163777752 hasRelatedWork W1525307495 @default.
- W2163777752 hasRelatedWork W1563319185 @default.
- W2163777752 hasRelatedWork W1714370737 @default.
- W2163777752 hasRelatedWork W1793023429 @default.
- W2163777752 hasRelatedWork W1836717328 @default.
- W2163777752 hasRelatedWork W2077698590 @default.
- W2163777752 hasRelatedWork W2081647087 @default.
- W2163777752 hasRelatedWork W2109924472 @default.
- W2163777752 hasRelatedWork W2112342242 @default.
- W2163777752 hasRelatedWork W2138825781 @default.
- W2163777752 hasRelatedWork W2212093233 @default.
- W2163777752 hasRelatedWork W2309098628 @default.
- W2163777752 hasRelatedWork W2626469852 @default.
- W2163777752 hasRelatedWork W2957474337 @default.
- W2163777752 hasRelatedWork W3142856423 @default.
- W2163777752 hasRelatedWork W3186572156 @default.
- W2163777752 hasRelatedWork W61995002 @default.
- W2163777752 isParatext "false" @default.
- W2163777752 isRetracted "false" @default.
- W2163777752 magId "2163777752" @default.
- W2163777752 workType "article" @default.