Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100040082> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2100040082 endingPage "74" @default.
- W2100040082 startingPage "65" @default.
- W2100040082 abstract "We present the formal verification of an Intel Xscale processor model. The Xscale is a superpipelined RISC processor with 7-stage integer, 8-stage memory, and variable-latency multiply-and-accumulate execution pipelines. The processor uses scoreboarding to track data dependencies, and implements both precise and imprecise exceptions. Such set of features had not been modeled and formally verified previously. The formal verification was done with an automatic tool flow that consists of the term-level symbolic simulator TLSim, the decision procedure EVC, and an efficient SAT-checker." @default.
- W2100040082 created "2016-06-24" @default.
- W2100040082 creator A5030659202 @default.
- W2100040082 creator A5033170576 @default.
- W2100040082 date "2003-06-24" @default.
- W2100040082 modified "2023-09-23" @default.
- W2100040082 title "Formal verification of an Intel XScale processor model with scoreboarding, specialized execution pipelines, and impress data-memory exceptions" @default.
- W2100040082 cites W1494093576 @default.
- W2100040082 cites W1506611120 @default.
- W2100040082 cites W1521083034 @default.
- W2100040082 cites W1525387472 @default.
- W2100040082 cites W1563319185 @default.
- W2100040082 cites W1574024214 @default.
- W2100040082 cites W1579968042 @default.
- W2100040082 cites W1583532098 @default.
- W2100040082 cites W1588758388 @default.
- W2100040082 cites W1599897266 @default.
- W2100040082 cites W1601250460 @default.
- W2100040082 cites W1741528175 @default.
- W2100040082 cites W1782705083 @default.
- W2100040082 cites W1903118409 @default.
- W2100040082 cites W1959350751 @default.
- W2100040082 cites W1979072566 @default.
- W2100040082 cites W2006120207 @default.
- W2100040082 cites W2010880586 @default.
- W2100040082 cites W2026275875 @default.
- W2100040082 cites W2063162149 @default.
- W2100040082 cites W2075959177 @default.
- W2100040082 cites W2087702998 @default.
- W2100040082 cites W2110011370 @default.
- W2100040082 cites W2113002954 @default.
- W2100040082 cites W2123905682 @default.
- W2100040082 cites W2125241400 @default.
- W2100040082 cites W2140344792 @default.
- W2100040082 cites W2142785340 @default.
- W2100040082 cites W2163820265 @default.
- W2100040082 cites W2255090137 @default.
- W2100040082 cites W2535164759 @default.
- W2100040082 cites W2617531914 @default.
- W2100040082 cites W5325007 @default.
- W2100040082 cites W71238222 @default.
- W2100040082 doi "https://doi.org/10.5555/823453.823841" @default.
- W2100040082 hasPublicationYear "2003" @default.
- W2100040082 type Work @default.
- W2100040082 sameAs 2100040082 @default.
- W2100040082 citedByCount "15" @default.
- W2100040082 countsByYear W21000400822013 @default.
- W2100040082 countsByYear W21000400822017 @default.
- W2100040082 crossrefType "proceedings-article" @default.
- W2100040082 hasAuthorship W2100040082A5030659202 @default.
- W2100040082 hasAuthorship W2100040082A5033170576 @default.
- W2100040082 hasConcept C111498074 @default.
- W2100040082 hasConcept C111919701 @default.
- W2100040082 hasConcept C127413603 @default.
- W2100040082 hasConcept C149635348 @default.
- W2100040082 hasConcept C173608175 @default.
- W2100040082 hasConcept C175309249 @default.
- W2100040082 hasConcept C199360897 @default.
- W2100040082 hasConcept C202491316 @default.
- W2100040082 hasConcept C41008148 @default.
- W2100040082 hasConcept C87717796 @default.
- W2100040082 hasConceptScore W2100040082C111498074 @default.
- W2100040082 hasConceptScore W2100040082C111919701 @default.
- W2100040082 hasConceptScore W2100040082C127413603 @default.
- W2100040082 hasConceptScore W2100040082C149635348 @default.
- W2100040082 hasConceptScore W2100040082C173608175 @default.
- W2100040082 hasConceptScore W2100040082C175309249 @default.
- W2100040082 hasConceptScore W2100040082C199360897 @default.
- W2100040082 hasConceptScore W2100040082C202491316 @default.
- W2100040082 hasConceptScore W2100040082C41008148 @default.
- W2100040082 hasConceptScore W2100040082C87717796 @default.
- W2100040082 hasLocation W21000400821 @default.
- W2100040082 hasOpenAccess W2100040082 @default.
- W2100040082 hasPrimaryLocation W21000400821 @default.
- W2100040082 hasRelatedWork W1555915743 @default.
- W2100040082 hasRelatedWork W1741528175 @default.
- W2100040082 hasRelatedWork W1959350751 @default.
- W2100040082 hasRelatedWork W2010880586 @default.
- W2100040082 hasRelatedWork W2026275875 @default.
- W2100040082 hasRelatedWork W2051392531 @default.
- W2100040082 hasRelatedWork W2078723193 @default.
- W2100040082 hasRelatedWork W2084968762 @default.
- W2100040082 hasRelatedWork W2101591187 @default.
- W2100040082 hasRelatedWork W2110038806 @default.
- W2100040082 hasRelatedWork W2139705864 @default.
- W2100040082 hasRelatedWork W2140576184 @default.
- W2100040082 hasRelatedWork W2143260722 @default.
- W2100040082 hasRelatedWork W2161609870 @default.
- W2100040082 hasRelatedWork W2352305101 @default.
- W2100040082 hasRelatedWork W2534827340 @default.
- W2100040082 hasRelatedWork W2544286462 @default.
- W2100040082 hasRelatedWork W2965603659 @default.
- W2100040082 hasRelatedWork W3095947311 @default.
- W2100040082 hasRelatedWork W3096628902 @default.
- W2100040082 isParatext "false" @default.
- W2100040082 isRetracted "false" @default.
- W2100040082 magId "2100040082" @default.
- W2100040082 workType "article" @default.