Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122385105> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2122385105 abstract "A novel transformational technique for designin hardware by theorem-proving is presented. '-Jq sign aspects like parameterized retiming of sync ronous sy tems and constrained refinement are formalized in a unifor framework. We create a space of valid solutions from an abstract specification rather than a specific implementation. Our methodology has been applied to a complex VLSI design of 250,000 transistors." @default.
- W2122385105 created "2016-06-24" @default.
- W2122385105 creator A5011262780 @default.
- W2122385105 creator A5050440020 @default.
- W2122385105 date "1991-01-01" @default.
- W2122385105 modified "2023-09-26" @default.
- W2122385105 title "Proof-aided design of verified hardware" @default.
- W2122385105 cites W2080267935 @default.
- W2122385105 cites W2095735530 @default.
- W2122385105 cites W2127862840 @default.
- W2122385105 cites W2134354173 @default.
- W2122385105 cites W2163722575 @default.
- W2122385105 cites W2172307690 @default.
- W2122385105 doi "https://doi.org/10.1145/127601.127700" @default.
- W2122385105 hasPublicationYear "1991" @default.
- W2122385105 type Work @default.
- W2122385105 sameAs 2122385105 @default.
- W2122385105 citedByCount "6" @default.
- W2122385105 crossrefType "proceedings-article" @default.
- W2122385105 hasAuthorship W2122385105A5011262780 @default.
- W2122385105 hasAuthorship W2122385105A5050440020 @default.
- W2122385105 hasConcept C113775141 @default.
- W2122385105 hasConcept C11413529 @default.
- W2122385105 hasConcept C118524514 @default.
- W2122385105 hasConcept C124296912 @default.
- W2122385105 hasConcept C127162648 @default.
- W2122385105 hasConcept C131017901 @default.
- W2122385105 hasConcept C14580979 @default.
- W2122385105 hasConcept C149635348 @default.
- W2122385105 hasConcept C165464430 @default.
- W2122385105 hasConcept C173608175 @default.
- W2122385105 hasConcept C199360897 @default.
- W2122385105 hasConcept C31258907 @default.
- W2122385105 hasConcept C3913047 @default.
- W2122385105 hasConcept C41008148 @default.
- W2122385105 hasConcept C41112130 @default.
- W2122385105 hasConcept C7234692 @default.
- W2122385105 hasConcept C80444323 @default.
- W2122385105 hasConcept C9390403 @default.
- W2122385105 hasConceptScore W2122385105C113775141 @default.
- W2122385105 hasConceptScore W2122385105C11413529 @default.
- W2122385105 hasConceptScore W2122385105C118524514 @default.
- W2122385105 hasConceptScore W2122385105C124296912 @default.
- W2122385105 hasConceptScore W2122385105C127162648 @default.
- W2122385105 hasConceptScore W2122385105C131017901 @default.
- W2122385105 hasConceptScore W2122385105C14580979 @default.
- W2122385105 hasConceptScore W2122385105C149635348 @default.
- W2122385105 hasConceptScore W2122385105C165464430 @default.
- W2122385105 hasConceptScore W2122385105C173608175 @default.
- W2122385105 hasConceptScore W2122385105C199360897 @default.
- W2122385105 hasConceptScore W2122385105C31258907 @default.
- W2122385105 hasConceptScore W2122385105C3913047 @default.
- W2122385105 hasConceptScore W2122385105C41008148 @default.
- W2122385105 hasConceptScore W2122385105C41112130 @default.
- W2122385105 hasConceptScore W2122385105C7234692 @default.
- W2122385105 hasConceptScore W2122385105C80444323 @default.
- W2122385105 hasConceptScore W2122385105C9390403 @default.
- W2122385105 hasLocation W21223851051 @default.
- W2122385105 hasOpenAccess W2122385105 @default.
- W2122385105 hasPrimaryLocation W21223851051 @default.
- W2122385105 hasRelatedWork W1516847118 @default.
- W2122385105 hasRelatedWork W1535643454 @default.
- W2122385105 hasRelatedWork W1564100227 @default.
- W2122385105 hasRelatedWork W1565602876 @default.
- W2122385105 hasRelatedWork W1908939003 @default.
- W2122385105 hasRelatedWork W1956801889 @default.
- W2122385105 hasRelatedWork W1967686058 @default.
- W2122385105 hasRelatedWork W1976802210 @default.
- W2122385105 hasRelatedWork W2102051998 @default.
- W2122385105 hasRelatedWork W2129574221 @default.
- W2122385105 hasRelatedWork W2140831003 @default.
- W2122385105 hasRelatedWork W2144498776 @default.
- W2122385105 hasRelatedWork W2157214732 @default.
- W2122385105 hasRelatedWork W2167187107 @default.
- W2122385105 hasRelatedWork W2169773325 @default.
- W2122385105 hasRelatedWork W2536541233 @default.
- W2122385105 hasRelatedWork W2541505470 @default.
- W2122385105 hasRelatedWork W2544632017 @default.
- W2122385105 hasRelatedWork W3148191217 @default.
- W2122385105 hasRelatedWork W88095793 @default.
- W2122385105 isParatext "false" @default.
- W2122385105 isRetracted "false" @default.
- W2122385105 magId "2122385105" @default.
- W2122385105 workType "article" @default.