Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514180814> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1514180814 abstract "This paper presents status results of a microprocessor verification project. The authors verify a complete 32-bit RISC microprocessor including the floating point unit and the control logic of the pipeline. The paper describes a formal definition of a “correct” microprocessor. This correctness criterion is proven for an implementation using formal methods. All proofs are verified mechanically by means of the theorem proving system PVS." @default.
- W1514180814 created "2016-06-24" @default.
- W1514180814 creator A5040039726 @default.
- W1514180814 creator A5086206346 @default.
- W1514180814 date "2000-01-01" @default.
- W1514180814 modified "2023-09-26" @default.
- W1514180814 title "Proving the Correctness of a Complete Microprocessor" @default.
- W1514180814 cites W1500286044 @default.
- W1514180814 cites W1547100201 @default.
- W1514180814 cites W2099571283 @default.
- W1514180814 cites W4235974263 @default.
- W1514180814 cites W4251850930 @default.
- W1514180814 doi "https://doi.org/10.1007/978-3-642-58322-3_24" @default.
- W1514180814 hasPublicationYear "2000" @default.
- W1514180814 type Work @default.
- W1514180814 sameAs 1514180814 @default.
- W1514180814 citedByCount "10" @default.
- W1514180814 countsByYear W15141808142013 @default.
- W1514180814 crossrefType "book-chapter" @default.
- W1514180814 hasAuthorship W1514180814A5040039726 @default.
- W1514180814 hasAuthorship W1514180814A5086206346 @default.
- W1514180814 hasConcept C108710211 @default.
- W1514180814 hasConcept C111498074 @default.
- W1514180814 hasConcept C149635348 @default.
- W1514180814 hasConcept C199360897 @default.
- W1514180814 hasConcept C2524010 @default.
- W1514180814 hasConcept C2780728072 @default.
- W1514180814 hasConcept C33923547 @default.
- W1514180814 hasConcept C41008148 @default.
- W1514180814 hasConcept C43521106 @default.
- W1514180814 hasConcept C55439883 @default.
- W1514180814 hasConceptScore W1514180814C108710211 @default.
- W1514180814 hasConceptScore W1514180814C111498074 @default.
- W1514180814 hasConceptScore W1514180814C149635348 @default.
- W1514180814 hasConceptScore W1514180814C199360897 @default.
- W1514180814 hasConceptScore W1514180814C2524010 @default.
- W1514180814 hasConceptScore W1514180814C2780728072 @default.
- W1514180814 hasConceptScore W1514180814C33923547 @default.
- W1514180814 hasConceptScore W1514180814C41008148 @default.
- W1514180814 hasConceptScore W1514180814C43521106 @default.
- W1514180814 hasConceptScore W1514180814C55439883 @default.
- W1514180814 hasLocation W15141808141 @default.
- W1514180814 hasOpenAccess W1514180814 @default.
- W1514180814 hasPrimaryLocation W15141808141 @default.
- W1514180814 hasRelatedWork W1503170978 @default.
- W1514180814 hasRelatedWork W1522486882 @default.
- W1514180814 hasRelatedWork W1531350193 @default.
- W1514180814 hasRelatedWork W1534850143 @default.
- W1514180814 hasRelatedWork W1538310240 @default.
- W1514180814 hasRelatedWork W1543208154 @default.
- W1514180814 hasRelatedWork W1555915743 @default.
- W1514180814 hasRelatedWork W1566914742 @default.
- W1514180814 hasRelatedWork W1741528175 @default.
- W1514180814 hasRelatedWork W2047932652 @default.
- W1514180814 hasRelatedWork W2110011370 @default.
- W1514180814 hasRelatedWork W2115503997 @default.
- W1514180814 hasRelatedWork W2142785890 @default.
- W1514180814 hasRelatedWork W2143053080 @default.
- W1514180814 hasRelatedWork W2157753532 @default.
- W1514180814 hasRelatedWork W2258230469 @default.
- W1514180814 hasRelatedWork W2605421786 @default.
- W1514180814 hasRelatedWork W2802193974 @default.
- W1514180814 hasRelatedWork W39840610 @default.
- W1514180814 hasRelatedWork W3059035833 @default.
- W1514180814 isParatext "false" @default.
- W1514180814 isRetracted "false" @default.
- W1514180814 magId "1514180814" @default.
- W1514180814 workType "book-chapter" @default.