Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057706113> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2057706113 abstract "The highly-publicized division error in the Pentium has emphasized the importance of formal verification of arithmetic circuits. Symbolic model checking techniques based on binary decision diagrams (BDDs) have been successful in verifying control logic. However, lack of proper representation for functions that map boolean vectors into the integers has prevented this technique from being used for verifying arithmetic operations. We have developed a new technique for verifying arithmetic circuits. The new technique, called word level model checking, has been used successfully to verify circuits for division and square root computation that are based on the SRT algorithm used by the Pentium. The technique makes it possible to handle both the control logic and the data paths in the circuit. The total number of state variables exceeds 600 (which is much larger than any circuit previously handled by other symbolic model checkers)." @default.
- W2057706113 created "2016-06-24" @default.
- W2057706113 creator A5083349103 @default.
- W2057706113 creator A5084117994 @default.
- W2057706113 creator A5090974026 @default.
- W2057706113 date "1996-01-01" @default.
- W2057706113 modified "2023-09-26" @default.
- W2057706113 title "Word level model checking---avoiding the Pentium FDIV error" @default.
- W2057706113 cites W1503170978 @default.
- W2057706113 cites W1522489781 @default.
- W2057706113 cites W1590315663 @default.
- W2057706113 cites W1595607623 @default.
- W2057706113 cites W2027082801 @default.
- W2057706113 cites W2029932273 @default.
- W2057706113 cites W2061438988 @default.
- W2057706113 cites W2117189826 @default.
- W2057706113 cites W2120724211 @default.
- W2057706113 cites W2127271657 @default.
- W2057706113 doi "https://doi.org/10.1145/240518.240640" @default.
- W2057706113 hasPublicationYear "1996" @default.
- W2057706113 type Work @default.
- W2057706113 sameAs 2057706113 @default.
- W2057706113 citedByCount "26" @default.
- W2057706113 countsByYear W20577061132012 @default.
- W2057706113 countsByYear W20577061132016 @default.
- W2057706113 countsByYear W20577061132019 @default.
- W2057706113 countsByYear W20577061132020 @default.
- W2057706113 crossrefType "proceedings-article" @default.
- W2057706113 hasAuthorship W2057706113A5083349103 @default.
- W2057706113 hasAuthorship W2057706113A5084117994 @default.
- W2057706113 hasAuthorship W2057706113A5090974026 @default.
- W2057706113 hasConcept C110251889 @default.
- W2057706113 hasConcept C111498074 @default.
- W2057706113 hasConcept C11413529 @default.
- W2057706113 hasConcept C173608175 @default.
- W2057706113 hasConcept C17744445 @default.
- W2057706113 hasConcept C187455244 @default.
- W2057706113 hasConcept C199539241 @default.
- W2057706113 hasConcept C23123167 @default.
- W2057706113 hasConcept C2776359362 @default.
- W2057706113 hasConcept C3309909 @default.
- W2057706113 hasConcept C33923547 @default.
- W2057706113 hasConcept C41008148 @default.
- W2057706113 hasConcept C46268123 @default.
- W2057706113 hasConcept C80444323 @default.
- W2057706113 hasConcept C94375191 @default.
- W2057706113 hasConcept C94625758 @default.
- W2057706113 hasConceptScore W2057706113C110251889 @default.
- W2057706113 hasConceptScore W2057706113C111498074 @default.
- W2057706113 hasConceptScore W2057706113C11413529 @default.
- W2057706113 hasConceptScore W2057706113C173608175 @default.
- W2057706113 hasConceptScore W2057706113C17744445 @default.
- W2057706113 hasConceptScore W2057706113C187455244 @default.
- W2057706113 hasConceptScore W2057706113C199539241 @default.
- W2057706113 hasConceptScore W2057706113C23123167 @default.
- W2057706113 hasConceptScore W2057706113C2776359362 @default.
- W2057706113 hasConceptScore W2057706113C3309909 @default.
- W2057706113 hasConceptScore W2057706113C33923547 @default.
- W2057706113 hasConceptScore W2057706113C41008148 @default.
- W2057706113 hasConceptScore W2057706113C46268123 @default.
- W2057706113 hasConceptScore W2057706113C80444323 @default.
- W2057706113 hasConceptScore W2057706113C94375191 @default.
- W2057706113 hasConceptScore W2057706113C94625758 @default.
- W2057706113 hasLocation W20577061131 @default.
- W2057706113 hasOpenAccess W2057706113 @default.
- W2057706113 hasPrimaryLocation W20577061131 @default.
- W2057706113 hasRelatedWork W1503170978 @default.
- W2057706113 hasRelatedWork W1540389367 @default.
- W2057706113 hasRelatedWork W1595607623 @default.
- W2057706113 hasRelatedWork W1741528175 @default.
- W2057706113 hasRelatedWork W1986558678 @default.
- W2057706113 hasRelatedWork W2030224590 @default.
- W2057706113 hasRelatedWork W2040509241 @default.
- W2057706113 hasRelatedWork W2061438988 @default.
- W2057706113 hasRelatedWork W2080267935 @default.
- W2057706113 hasRelatedWork W2094831575 @default.
- W2057706113 hasRelatedWork W2095999202 @default.
- W2057706113 hasRelatedWork W2105011602 @default.
- W2057706113 hasRelatedWork W2114092850 @default.
- W2057706113 hasRelatedWork W2117189826 @default.
- W2057706113 hasRelatedWork W2120724211 @default.
- W2057706113 hasRelatedWork W2127271657 @default.
- W2057706113 hasRelatedWork W2132967511 @default.
- W2057706113 hasRelatedWork W2135453964 @default.
- W2057706113 hasRelatedWork W2138838211 @default.
- W2057706113 hasRelatedWork W2149479807 @default.
- W2057706113 isParatext "false" @default.
- W2057706113 isRetracted "false" @default.
- W2057706113 magId "2057706113" @default.
- W2057706113 workType "article" @default.