Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592694924> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1592694924 endingPage "142" @default.
- W1592694924 startingPage "126" @default.
- W1592694924 abstract "We address the problem of verification of implementations of complex processors using architectural level automatic test program generators. A number of automatic test program generators exist, and are widely used for verification of the compliance of complex processors with their architectures. We define a four stage verification process: (1) describing the processor implementation control as a Finite State Machine (2) deriving transition coverage on the FSM using methods from formal verification (3) translation of the covering tours to constraints on test programs (4) generation of test programs for each set of constraints. This process combines a high quality and well defined theoretical method along with tools used in industrial practice. There are a number of advantages of our Method: (a) The last three stages are automated (b) Implementing the FSM model involves relatively little expert designers time (c) The method is feasible for modem superscalar processors and was studied on an enhanced PowerPC processor. We describe a formal framework for the new process, identify the obstacles that are encountered in the modeling phase, and show how to overcome them." @default.
- W1592694924 created "2016-06-24" @default.
- W1592694924 creator A5012901455 @default.
- W1592694924 creator A5031510518 @default.
- W1592694924 creator A5068592522 @default.
- W1592694924 date "1996-01-01" @default.
- W1592694924 modified "2023-10-12" @default.
- W1592694924 title "A methodology for processor implementation verification" @default.
- W1592694924 cites W2098283416 @default.
- W1592694924 cites W2102454528 @default.
- W1592694924 cites W2102606870 @default.
- W1592694924 cites W2117963349 @default.
- W1592694924 cites W2125539770 @default.
- W1592694924 cites W2129781020 @default.
- W1592694924 cites W2132055325 @default.
- W1592694924 cites W2158599927 @default.
- W1592694924 cites W4300021588 @default.
- W1592694924 doi "https://doi.org/10.1007/bfb0031804" @default.
- W1592694924 hasPublicationYear "1996" @default.
- W1592694924 type Work @default.
- W1592694924 sameAs 1592694924 @default.
- W1592694924 citedByCount "12" @default.
- W1592694924 countsByYear W15926949242013 @default.
- W1592694924 countsByYear W15926949242020 @default.
- W1592694924 crossrefType "book-chapter" @default.
- W1592694924 hasAuthorship W1592694924A5012901455 @default.
- W1592694924 hasAuthorship W1592694924A5031510518 @default.
- W1592694924 hasAuthorship W1592694924A5068592522 @default.
- W1592694924 hasConcept C111498074 @default.
- W1592694924 hasConcept C118524514 @default.
- W1592694924 hasConcept C149635348 @default.
- W1592694924 hasConcept C167822520 @default.
- W1592694924 hasConcept C199360897 @default.
- W1592694924 hasConcept C26713055 @default.
- W1592694924 hasConcept C2777904410 @default.
- W1592694924 hasConcept C41008148 @default.
- W1592694924 hasConcept C56005371 @default.
- W1592694924 hasConcept C75606506 @default.
- W1592694924 hasConcept C98045186 @default.
- W1592694924 hasConceptScore W1592694924C111498074 @default.
- W1592694924 hasConceptScore W1592694924C118524514 @default.
- W1592694924 hasConceptScore W1592694924C149635348 @default.
- W1592694924 hasConceptScore W1592694924C167822520 @default.
- W1592694924 hasConceptScore W1592694924C199360897 @default.
- W1592694924 hasConceptScore W1592694924C26713055 @default.
- W1592694924 hasConceptScore W1592694924C2777904410 @default.
- W1592694924 hasConceptScore W1592694924C41008148 @default.
- W1592694924 hasConceptScore W1592694924C56005371 @default.
- W1592694924 hasConceptScore W1592694924C75606506 @default.
- W1592694924 hasConceptScore W1592694924C98045186 @default.
- W1592694924 hasLocation W15926949241 @default.
- W1592694924 hasOpenAccess W1592694924 @default.
- W1592694924 hasPrimaryLocation W15926949241 @default.
- W1592694924 hasRelatedWork W1517976619 @default.
- W1592694924 hasRelatedWork W1524361563 @default.
- W1592694924 hasRelatedWork W1536552036 @default.
- W1592694924 hasRelatedWork W1592393183 @default.
- W1592694924 hasRelatedWork W2100259118 @default.
- W1592694924 hasRelatedWork W2123319381 @default.
- W1592694924 hasRelatedWork W2166258512 @default.
- W1592694924 hasRelatedWork W2370841479 @default.
- W1592694924 hasRelatedWork W2384159625 @default.
- W1592694924 hasRelatedWork W2403608549 @default.
- W1592694924 isParatext "false" @default.
- W1592694924 isRetracted "false" @default.
- W1592694924 magId "1592694924" @default.
- W1592694924 workType "book-chapter" @default.