Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144364786> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2144364786 abstract "Formally verified hardware synthesis functions have been developed and implemented using high-order logic, automatic theorem provers, and declarative languages. The synthesis functions, which take the form of equivalence-preserving transformations, enable implementations to be related to their specifications in a formally verified manner. As shown by the theory of design for array multipliers, verified synthesis functions produce implementations which are correct by construction, thus avoiding the exponential growth in effort inherent in simulation-based and Boolean comparison-based verification. Theories of design with their verified synthesis functions and correctness theorems represent additional features which would logically extend computer-aided design systems for design synthesis and design verification. >" @default.
- W2144364786 created "2016-06-24" @default.
- W2144364786 creator A5024755834 @default.
- W2144364786 creator A5075957718 @default.
- W2144364786 date "2003-01-06" @default.
- W2144364786 modified "2023-10-14" @default.
- W2144364786 title "Verifiable and executable theories of design for synthesizing correct hardware" @default.
- W2144364786 cites W1566674182 @default.
- W2144364786 cites W1606316858 @default.
- W2144364786 cites W1983849809 @default.
- W2144364786 cites W2012284435 @default.
- W2144364786 cites W2013236767 @default.
- W2144364786 cites W2026445983 @default.
- W2144364786 cites W2080267935 @default.
- W2144364786 cites W2109103805 @default.
- W2144364786 cites W2153691819 @default.
- W2144364786 doi "https://doi.org/10.1109/iccd.1988.25772" @default.
- W2144364786 hasPublicationYear "2003" @default.
- W2144364786 type Work @default.
- W2144364786 sameAs 2144364786 @default.
- W2144364786 citedByCount "0" @default.
- W2144364786 crossrefType "proceedings-article" @default.
- W2144364786 hasAuthorship W2144364786A5024755834 @default.
- W2144364786 hasAuthorship W2144364786A5075957718 @default.
- W2144364786 hasConcept C111498074 @default.
- W2144364786 hasConcept C11413529 @default.
- W2144364786 hasConcept C118615104 @default.
- W2144364786 hasConcept C131017901 @default.
- W2144364786 hasConcept C149635348 @default.
- W2144364786 hasConcept C157922185 @default.
- W2144364786 hasConcept C160145156 @default.
- W2144364786 hasConcept C177264268 @default.
- W2144364786 hasConcept C199360897 @default.
- W2144364786 hasConcept C26713055 @default.
- W2144364786 hasConcept C2780069185 @default.
- W2144364786 hasConcept C33923547 @default.
- W2144364786 hasConcept C41008148 @default.
- W2144364786 hasConcept C42935608 @default.
- W2144364786 hasConcept C55439883 @default.
- W2144364786 hasConcept C58013763 @default.
- W2144364786 hasConcept C80444323 @default.
- W2144364786 hasConcept C85847156 @default.
- W2144364786 hasConcept C96654402 @default.
- W2144364786 hasConceptScore W2144364786C111498074 @default.
- W2144364786 hasConceptScore W2144364786C11413529 @default.
- W2144364786 hasConceptScore W2144364786C118615104 @default.
- W2144364786 hasConceptScore W2144364786C131017901 @default.
- W2144364786 hasConceptScore W2144364786C149635348 @default.
- W2144364786 hasConceptScore W2144364786C157922185 @default.
- W2144364786 hasConceptScore W2144364786C160145156 @default.
- W2144364786 hasConceptScore W2144364786C177264268 @default.
- W2144364786 hasConceptScore W2144364786C199360897 @default.
- W2144364786 hasConceptScore W2144364786C26713055 @default.
- W2144364786 hasConceptScore W2144364786C2780069185 @default.
- W2144364786 hasConceptScore W2144364786C33923547 @default.
- W2144364786 hasConceptScore W2144364786C41008148 @default.
- W2144364786 hasConceptScore W2144364786C42935608 @default.
- W2144364786 hasConceptScore W2144364786C55439883 @default.
- W2144364786 hasConceptScore W2144364786C58013763 @default.
- W2144364786 hasConceptScore W2144364786C80444323 @default.
- W2144364786 hasConceptScore W2144364786C85847156 @default.
- W2144364786 hasConceptScore W2144364786C96654402 @default.
- W2144364786 hasLocation W21443647861 @default.
- W2144364786 hasOpenAccess W2144364786 @default.
- W2144364786 hasPrimaryLocation W21443647861 @default.
- W2144364786 hasRelatedWork W1535013086 @default.
- W2144364786 hasRelatedWork W1904803564 @default.
- W2144364786 hasRelatedWork W1991122996 @default.
- W2144364786 hasRelatedWork W204642799 @default.
- W2144364786 hasRelatedWork W2097279721 @default.
- W2144364786 hasRelatedWork W2141692389 @default.
- W2144364786 hasRelatedWork W2292691976 @default.
- W2144364786 hasRelatedWork W2482968623 @default.
- W2144364786 hasRelatedWork W2521257414 @default.
- W2144364786 hasRelatedWork W2560250268 @default.
- W2144364786 hasRelatedWork W2756404343 @default.
- W2144364786 hasRelatedWork W2772855819 @default.
- W2144364786 hasRelatedWork W2900434686 @default.
- W2144364786 hasRelatedWork W2939335996 @default.
- W2144364786 hasRelatedWork W2955077786 @default.
- W2144364786 hasRelatedWork W3002619049 @default.
- W2144364786 hasRelatedWork W3121081585 @default.
- W2144364786 hasRelatedWork W32833355 @default.
- W2144364786 hasRelatedWork W8063162 @default.
- W2144364786 hasRelatedWork W956644824 @default.
- W2144364786 isParatext "false" @default.
- W2144364786 isRetracted "false" @default.
- W2144364786 magId "2144364786" @default.
- W2144364786 workType "article" @default.