Matches in SemOpenAlex for { <https://semopenalex.org/work/W56227214> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W56227214 endingPage "292" @default.
- W56227214 startingPage "277" @default.
- W56227214 abstract "In this paper we consider the problem of formally verifying hardware that is specified to compute reciprocal, reciprocal square root, and power-of-two functions on floating point numbers to within a given relative error. Such specifications differ from the common case in which any given input is specified to have exactly one correct output. Our approach is based on symbolic simulation with binary decision diagrams, and involves two distinct steps. First, we prove a lemma that reduces the relative error specification to several inequalities that involve reasoning about natural numbers only. The most complex of these inequalities asserts that the product of several naturals is less-than/greater-than another natural. Second, we invoke one of several customized algorithms that decides the inequality, without performing the expensive symbolic multiplications directly. We demonstrate the effectiveness of our approach on a next-generation Intel® processor design and report encouraging time and space metrics for these proofs." @default.
- W56227214 created "2016-06-24" @default.
- W56227214 creator A5043004082 @default.
- W56227214 creator A5067218159 @default.
- W56227214 date "2014-01-01" @default.
- W56227214 modified "2023-10-17" @default.
- W56227214 title "Verifying Relative Error Bounds Using Symbolic Simulation" @default.
- W56227214 cites W1509799206 @default.
- W56227214 cites W1533964280 @default.
- W56227214 cites W195269491 @default.
- W56227214 cites W1972934510 @default.
- W56227214 cites W197484898 @default.
- W56227214 cites W1986558678 @default.
- W56227214 cites W2063169916 @default.
- W56227214 cites W2071719260 @default.
- W56227214 cites W2080267935 @default.
- W56227214 cites W2082652314 @default.
- W56227214 cites W2108016168 @default.
- W56227214 cites W2109731020 @default.
- W56227214 cites W2112643551 @default.
- W56227214 cites W2118549635 @default.
- W56227214 cites W2130545178 @default.
- W56227214 cites W2151042827 @default.
- W56227214 cites W2169004268 @default.
- W56227214 cites W24139812 @default.
- W56227214 cites W2979730858 @default.
- W56227214 cites W2527523344 @default.
- W56227214 cites W2562006422 @default.
- W56227214 doi "https://doi.org/10.1007/978-3-319-08867-9_18" @default.
- W56227214 hasPublicationYear "2014" @default.
- W56227214 type Work @default.
- W56227214 sameAs 56227214 @default.
- W56227214 citedByCount "7" @default.
- W56227214 countsByYear W562272142014 @default.
- W56227214 countsByYear W562272142015 @default.
- W56227214 countsByYear W562272142016 @default.
- W56227214 countsByYear W562272142017 @default.
- W56227214 countsByYear W562272142018 @default.
- W56227214 countsByYear W562272142022 @default.
- W56227214 crossrefType "book-chapter" @default.
- W56227214 hasAuthorship W56227214A5043004082 @default.
- W56227214 hasAuthorship W56227214A5067218159 @default.
- W56227214 hasBestOaLocation W562272141 @default.
- W56227214 hasConcept C41008148 @default.
- W56227214 hasConceptScore W56227214C41008148 @default.
- W56227214 hasLocation W562272141 @default.
- W56227214 hasLocation W562272142 @default.
- W56227214 hasOpenAccess W56227214 @default.
- W56227214 hasPrimaryLocation W562272141 @default.
- W56227214 hasRelatedWork W2093578348 @default.
- W56227214 hasRelatedWork W2350741829 @default.
- W56227214 hasRelatedWork W2358668433 @default.
- W56227214 hasRelatedWork W2376932109 @default.
- W56227214 hasRelatedWork W2382290278 @default.
- W56227214 hasRelatedWork W2390279801 @default.
- W56227214 hasRelatedWork W2748952813 @default.
- W56227214 hasRelatedWork W2766271392 @default.
- W56227214 hasRelatedWork W2899084033 @default.
- W56227214 hasRelatedWork W3004735627 @default.
- W56227214 isParatext "false" @default.
- W56227214 isRetracted "false" @default.
- W56227214 magId "56227214" @default.
- W56227214 workType "book-chapter" @default.