Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142785890> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2142785890 endingPage "122" @default.
- W2142785890 startingPage "111" @default.
- W2142785890 abstract "We verify the correctness of an SRT division circuit similar to the one in the Intel Pentium processor. The circuit and its correctness conditions are formalized as a set of algebraic relations on the real numbers. The main obstacle to applying theorem proving techniques for hardware verification is the need for detailed user guidance of proofs. We overcome the need for detailed proof guidance in this example by using a powerful theorem prover called Analytica. Analytica uses symbolic algebra techniques to carry out the proofs in this paper fully automatically." @default.
- W2142785890 created "2016-06-24" @default.
- W2142785890 creator A5067917350 @default.
- W2142785890 creator A5083349103 @default.
- W2142785890 creator A5090974026 @default.
- W2142785890 date "1996-01-01" @default.
- W2142785890 modified "2023-09-26" @default.
- W2142785890 title "Verifying the SRT division algorithm using theorem proving techniques" @default.
- W2142785890 cites W1531350193 @default.
- W2142785890 cites W1551406732 @default.
- W2142785890 cites W1608010962 @default.
- W2142785890 cites W1996325171 @default.
- W2142785890 cites W2029932273 @default.
- W2142785890 cites W2036085017 @default.
- W2142785890 cites W2057706113 @default.
- W2142785890 cites W2081371283 @default.
- W2142785890 doi "https://doi.org/10.1007/3-540-61474-5_62" @default.
- W2142785890 hasPublicationYear "1996" @default.
- W2142785890 type Work @default.
- W2142785890 sameAs 2142785890 @default.
- W2142785890 citedByCount "25" @default.
- W2142785890 countsByYear W21427858902014 @default.
- W2142785890 countsByYear W21427858902019 @default.
- W2142785890 countsByYear W21427858902020 @default.
- W2142785890 countsByYear W21427858902021 @default.
- W2142785890 countsByYear W21427858902023 @default.
- W2142785890 crossrefType "book-chapter" @default.
- W2142785890 hasAuthorship W2142785890A5067917350 @default.
- W2142785890 hasAuthorship W2142785890A5083349103 @default.
- W2142785890 hasAuthorship W2142785890A5090974026 @default.
- W2142785890 hasBestOaLocation W21427858901 @default.
- W2142785890 hasConcept C108710211 @default.
- W2142785890 hasConcept C11413529 @default.
- W2142785890 hasConcept C13766981 @default.
- W2142785890 hasConcept C159718280 @default.
- W2142785890 hasConcept C173608175 @default.
- W2142785890 hasConcept C177264268 @default.
- W2142785890 hasConcept C199360897 @default.
- W2142785890 hasConcept C206880738 @default.
- W2142785890 hasConcept C2524010 @default.
- W2142785890 hasConcept C33923547 @default.
- W2142785890 hasConcept C41008148 @default.
- W2142785890 hasConcept C46268123 @default.
- W2142785890 hasConcept C55439883 @default.
- W2142785890 hasConcept C60798267 @default.
- W2142785890 hasConcept C80444323 @default.
- W2142785890 hasConcept C94375191 @default.
- W2142785890 hasConceptScore W2142785890C108710211 @default.
- W2142785890 hasConceptScore W2142785890C11413529 @default.
- W2142785890 hasConceptScore W2142785890C13766981 @default.
- W2142785890 hasConceptScore W2142785890C159718280 @default.
- W2142785890 hasConceptScore W2142785890C173608175 @default.
- W2142785890 hasConceptScore W2142785890C177264268 @default.
- W2142785890 hasConceptScore W2142785890C199360897 @default.
- W2142785890 hasConceptScore W2142785890C206880738 @default.
- W2142785890 hasConceptScore W2142785890C2524010 @default.
- W2142785890 hasConceptScore W2142785890C33923547 @default.
- W2142785890 hasConceptScore W2142785890C41008148 @default.
- W2142785890 hasConceptScore W2142785890C46268123 @default.
- W2142785890 hasConceptScore W2142785890C55439883 @default.
- W2142785890 hasConceptScore W2142785890C60798267 @default.
- W2142785890 hasConceptScore W2142785890C80444323 @default.
- W2142785890 hasConceptScore W2142785890C94375191 @default.
- W2142785890 hasLocation W21427858901 @default.
- W2142785890 hasOpenAccess W2142785890 @default.
- W2142785890 hasPrimaryLocation W21427858901 @default.
- W2142785890 hasRelatedWork W1538072621 @default.
- W2142785890 hasRelatedWork W1590308900 @default.
- W2142785890 hasRelatedWork W1789702989 @default.
- W2142785890 hasRelatedWork W2128718940 @default.
- W2142785890 hasRelatedWork W2142785890 @default.
- W2142785890 hasRelatedWork W2579160749 @default.
- W2142785890 hasRelatedWork W2950961618 @default.
- W2142785890 hasRelatedWork W3125694439 @default.
- W2142785890 hasRelatedWork W4245884879 @default.
- W2142785890 hasRelatedWork W4297063300 @default.
- W2142785890 isParatext "false" @default.
- W2142785890 isRetracted "false" @default.
- W2142785890 magId "2142785890" @default.
- W2142785890 workType "book-chapter" @default.