Matches in SemOpenAlex for { <https://semopenalex.org/work/W2398982011> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2398982011 endingPage "8" @default.
- W2398982011 startingPage "8" @default.
- W2398982011 abstract "This paper presents a case study in the formal verification of the hardware description level specification of a general purpose computer processor. The major contributions of this paper are a framework for modelling VHDL hardware designs in the ACL2 language, a discipline for managing the layering of abstractions when verifying a hierarchical design, and a description of the significant theorems proved." @default.
- W2398982011 created "2016-06-24" @default.
- W2398982011 creator A5056581537 @default.
- W2398982011 date "2010-10-06" @default.
- W2398982011 modified "2023-09-26" @default.
- W2398982011 title "Verification of stack manipulation in the SCIP processor" @default.
- W2398982011 cites W1500868994 @default.
- W2398982011 cites W1549345379 @default.
- W2398982011 cites W1590828018 @default.
- W2398982011 cites W1903118409 @default.
- W2398982011 cites W2108776769 @default.
- W2398982011 cites W2167940678 @default.
- W2398982011 cites W2169991924 @default.
- W2398982011 cites W2171972466 @default.
- W2398982011 cites W67541877 @default.
- W2398982011 hasPublicationYear "2010" @default.
- W2398982011 type Work @default.
- W2398982011 sameAs 2398982011 @default.
- W2398982011 citedByCount "0" @default.
- W2398982011 crossrefType "proceedings-article" @default.
- W2398982011 hasAuthorship W2398982011A5056581537 @default.
- W2398982011 hasConcept C111498074 @default.
- W2398982011 hasConcept C118524514 @default.
- W2398982011 hasConcept C149635348 @default.
- W2398982011 hasConcept C186846655 @default.
- W2398982011 hasConcept C199360897 @default.
- W2398982011 hasConcept C2777904410 @default.
- W2398982011 hasConcept C3406870 @default.
- W2398982011 hasConcept C36941000 @default.
- W2398982011 hasConcept C41008148 @default.
- W2398982011 hasConcept C42143788 @default.
- W2398982011 hasConcept C42935608 @default.
- W2398982011 hasConcept C529173508 @default.
- W2398982011 hasConcept C62460635 @default.
- W2398982011 hasConcept C9395851 @default.
- W2398982011 hasConceptScore W2398982011C111498074 @default.
- W2398982011 hasConceptScore W2398982011C118524514 @default.
- W2398982011 hasConceptScore W2398982011C149635348 @default.
- W2398982011 hasConceptScore W2398982011C186846655 @default.
- W2398982011 hasConceptScore W2398982011C199360897 @default.
- W2398982011 hasConceptScore W2398982011C2777904410 @default.
- W2398982011 hasConceptScore W2398982011C3406870 @default.
- W2398982011 hasConceptScore W2398982011C36941000 @default.
- W2398982011 hasConceptScore W2398982011C41008148 @default.
- W2398982011 hasConceptScore W2398982011C42143788 @default.
- W2398982011 hasConceptScore W2398982011C42935608 @default.
- W2398982011 hasConceptScore W2398982011C529173508 @default.
- W2398982011 hasConceptScore W2398982011C62460635 @default.
- W2398982011 hasConceptScore W2398982011C9395851 @default.
- W2398982011 hasLocation W23989820111 @default.
- W2398982011 hasOpenAccess W2398982011 @default.
- W2398982011 hasPrimaryLocation W23989820111 @default.
- W2398982011 hasRelatedWork W1529145063 @default.
- W2398982011 hasRelatedWork W1982763467 @default.
- W2398982011 hasRelatedWork W1993655165 @default.
- W2398982011 hasRelatedWork W2008922830 @default.
- W2398982011 hasRelatedWork W2034526989 @default.
- W2398982011 hasRelatedWork W2057956383 @default.
- W2398982011 hasRelatedWork W2084715426 @default.
- W2398982011 hasRelatedWork W2092349522 @default.
- W2398982011 hasRelatedWork W2096455207 @default.
- W2398982011 hasRelatedWork W2100259118 @default.
- W2398982011 hasRelatedWork W2119898505 @default.
- W2398982011 hasRelatedWork W2128513456 @default.
- W2398982011 hasRelatedWork W2146252859 @default.
- W2398982011 hasRelatedWork W2149609054 @default.
- W2398982011 hasRelatedWork W2167613249 @default.
- W2398982011 hasRelatedWork W2172028582 @default.
- W2398982011 hasRelatedWork W2539433646 @default.
- W2398982011 hasRelatedWork W2595086863 @default.
- W2398982011 hasRelatedWork W2999617569 @default.
- W2398982011 hasRelatedWork W3184410788 @default.
- W2398982011 isParatext "false" @default.
- W2398982011 isRetracted "false" @default.
- W2398982011 magId "2398982011" @default.
- W2398982011 workType "article" @default.