Matches in SemOpenAlex for { <https://semopenalex.org/work/W2544632017> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2544632017 abstract "Theorem-based design uses logical inference rather than simulation to determine or verify the proper- ties of design implementations. The initial effort to make such an approach practical is large when com- pared to conventional simulation. However, the cost of this effort is typically incurred only once. The hardware descriptions are parameterized so that the verification results are applicable to an entire set of designs rather than just one instantiation. To illustrate these ideas, the logical structure used to verify arithmetic hardware in HOL is outlined. In particular, the role of data abstrac- tion, recursion, and induction is shown." @default.
- W2544632017 created "2016-11-04" @default.
- W2544632017 creator A5075957718 @default.
- W2544632017 date "2005-08-24" @default.
- W2544632017 modified "2023-09-26" @default.
- W2544632017 title "Verifying Arithmetic Hardware In Higher-order Logic" @default.
- W2544632017 cites W1565996669 @default.
- W2544632017 cites W2095735530 @default.
- W2544632017 cites W2154774499 @default.
- W2544632017 cites W3021661880 @default.
- W2544632017 doi "https://doi.org/10.1109/hol.1991.596268" @default.
- W2544632017 hasPublicationYear "2005" @default.
- W2544632017 type Work @default.
- W2544632017 sameAs 2544632017 @default.
- W2544632017 citedByCount "3" @default.
- W2544632017 crossrefType "proceedings-article" @default.
- W2544632017 hasAuthorship W2544632017A5075957718 @default.
- W2544632017 hasConcept C11413529 @default.
- W2544632017 hasConcept C131017901 @default.
- W2544632017 hasConcept C157922185 @default.
- W2544632017 hasConcept C165464430 @default.
- W2544632017 hasConcept C168773036 @default.
- W2544632017 hasConcept C17435882 @default.
- W2544632017 hasConcept C177264268 @default.
- W2544632017 hasConcept C199360897 @default.
- W2544632017 hasConcept C26713055 @default.
- W2544632017 hasConcept C2776928060 @default.
- W2544632017 hasConcept C33923547 @default.
- W2544632017 hasConcept C41008148 @default.
- W2544632017 hasConcept C80444323 @default.
- W2544632017 hasConcept C94375191 @default.
- W2544632017 hasConceptScore W2544632017C11413529 @default.
- W2544632017 hasConceptScore W2544632017C131017901 @default.
- W2544632017 hasConceptScore W2544632017C157922185 @default.
- W2544632017 hasConceptScore W2544632017C165464430 @default.
- W2544632017 hasConceptScore W2544632017C168773036 @default.
- W2544632017 hasConceptScore W2544632017C17435882 @default.
- W2544632017 hasConceptScore W2544632017C177264268 @default.
- W2544632017 hasConceptScore W2544632017C199360897 @default.
- W2544632017 hasConceptScore W2544632017C26713055 @default.
- W2544632017 hasConceptScore W2544632017C2776928060 @default.
- W2544632017 hasConceptScore W2544632017C33923547 @default.
- W2544632017 hasConceptScore W2544632017C41008148 @default.
- W2544632017 hasConceptScore W2544632017C80444323 @default.
- W2544632017 hasConceptScore W2544632017C94375191 @default.
- W2544632017 hasLocation W25446320171 @default.
- W2544632017 hasOpenAccess W2544632017 @default.
- W2544632017 hasPrimaryLocation W25446320171 @default.
- W2544632017 hasRelatedWork W1564100227 @default.
- W2544632017 hasRelatedWork W1565602876 @default.
- W2544632017 hasRelatedWork W1588797702 @default.
- W2544632017 hasRelatedWork W1963788641 @default.
- W2544632017 hasRelatedWork W2000040332 @default.
- W2544632017 hasRelatedWork W2089346056 @default.
- W2544632017 hasRelatedWork W2102051998 @default.
- W2544632017 hasRelatedWork W2122385105 @default.
- W2544632017 hasRelatedWork W2140831003 @default.
- W2544632017 hasRelatedWork W2144498776 @default.
- W2544632017 hasRelatedWork W2157214732 @default.
- W2544632017 hasRelatedWork W2339652988 @default.
- W2544632017 hasRelatedWork W2536541233 @default.
- W2544632017 hasRelatedWork W2541505470 @default.
- W2544632017 hasRelatedWork W2542210355 @default.
- W2544632017 hasRelatedWork W2548201243 @default.
- W2544632017 hasRelatedWork W2560531073 @default.
- W2544632017 hasRelatedWork W587238607 @default.
- W2544632017 hasRelatedWork W1987278116 @default.
- W2544632017 hasRelatedWork W3126951317 @default.
- W2544632017 isParatext "false" @default.
- W2544632017 isRetracted "false" @default.
- W2544632017 magId "2544632017" @default.
- W2544632017 workType "article" @default.