Matches in SemOpenAlex for { <https://semopenalex.org/work/W2188881323> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2188881323 abstract "This paper presents the use of formal methods in the design of a PowerPC microprocessor. The chosen methodology employs two independently developed design views, a register-transfer level specification for efficient system simulation and a transistorlevel implementation geared toward maximal processor performance. A BDD-based verification tool is used to functionally compare the two views which essentially validates the transistor-level implementation with respect to any functional simulation/verification performed at the register-transfer level. We show that a tight integration of the verification approach into the overall design methodology allows the formal verification of complex microprocessor implementations without compromising the design process or performance of the resulting system." @default.
- W2188881323 created "2016-06-24" @default.
- W2188881323 creator A5050442585 @default.
- W2188881323 creator A5083707078 @default.
- W2188881323 creator A5089239793 @default.
- W2188881323 date "1995-01-01" @default.
- W2188881323 modified "2023-09-27" @default.
- W2188881323 title "Formal Verification of a PowerPCTM Microprocessor" @default.
- W2188881323 cites W1503170978 @default.
- W2188881323 cites W2012336463 @default.
- W2188881323 cites W2080267935 @default.
- W2188881323 cites W2115285859 @default.
- W2188881323 cites W2149479807 @default.
- W2188881323 hasPublicationYear "1995" @default.
- W2188881323 type Work @default.
- W2188881323 sameAs 2188881323 @default.
- W2188881323 citedByCount "1" @default.
- W2188881323 crossrefType "journal-article" @default.
- W2188881323 hasAuthorship W2188881323A5050442585 @default.
- W2188881323 hasAuthorship W2188881323A5083707078 @default.
- W2188881323 hasAuthorship W2188881323A5089239793 @default.
- W2188881323 hasConcept C111498074 @default.
- W2188881323 hasConcept C118524514 @default.
- W2188881323 hasConcept C142284323 @default.
- W2188881323 hasConcept C149091818 @default.
- W2188881323 hasConcept C149635348 @default.
- W2188881323 hasConcept C186846655 @default.
- W2188881323 hasConcept C187250869 @default.
- W2188881323 hasConcept C199360897 @default.
- W2188881323 hasConcept C26713055 @default.
- W2188881323 hasConcept C2777904410 @default.
- W2188881323 hasConcept C2780728072 @default.
- W2188881323 hasConcept C3406870 @default.
- W2188881323 hasConcept C41008148 @default.
- W2188881323 hasConcept C56005371 @default.
- W2188881323 hasConcept C62460635 @default.
- W2188881323 hasConcept C75606506 @default.
- W2188881323 hasConcept C77495112 @default.
- W2188881323 hasConcept C98045186 @default.
- W2188881323 hasConceptScore W2188881323C111498074 @default.
- W2188881323 hasConceptScore W2188881323C118524514 @default.
- W2188881323 hasConceptScore W2188881323C142284323 @default.
- W2188881323 hasConceptScore W2188881323C149091818 @default.
- W2188881323 hasConceptScore W2188881323C149635348 @default.
- W2188881323 hasConceptScore W2188881323C186846655 @default.
- W2188881323 hasConceptScore W2188881323C187250869 @default.
- W2188881323 hasConceptScore W2188881323C199360897 @default.
- W2188881323 hasConceptScore W2188881323C26713055 @default.
- W2188881323 hasConceptScore W2188881323C2777904410 @default.
- W2188881323 hasConceptScore W2188881323C2780728072 @default.
- W2188881323 hasConceptScore W2188881323C3406870 @default.
- W2188881323 hasConceptScore W2188881323C41008148 @default.
- W2188881323 hasConceptScore W2188881323C56005371 @default.
- W2188881323 hasConceptScore W2188881323C62460635 @default.
- W2188881323 hasConceptScore W2188881323C75606506 @default.
- W2188881323 hasConceptScore W2188881323C77495112 @default.
- W2188881323 hasConceptScore W2188881323C98045186 @default.
- W2188881323 hasLocation W21888813231 @default.
- W2188881323 hasOpenAccess W2188881323 @default.
- W2188881323 hasPrimaryLocation W21888813231 @default.
- W2188881323 hasRelatedWork W101710534 @default.
- W2188881323 hasRelatedWork W1493466221 @default.
- W2188881323 hasRelatedWork W1973369219 @default.
- W2188881323 hasRelatedWork W2057225708 @default.
- W2188881323 hasRelatedWork W2100052271 @default.
- W2188881323 hasRelatedWork W2106350458 @default.
- W2188881323 hasRelatedWork W2109821323 @default.
- W2188881323 hasRelatedWork W2112446207 @default.
- W2188881323 hasRelatedWork W2118098056 @default.
- W2188881323 hasRelatedWork W2118572231 @default.
- W2188881323 hasRelatedWork W2125880344 @default.
- W2188881323 hasRelatedWork W2130564948 @default.
- W2188881323 hasRelatedWork W2137182662 @default.
- W2188881323 hasRelatedWork W2141443374 @default.
- W2188881323 hasRelatedWork W2143357389 @default.
- W2188881323 hasRelatedWork W2166538840 @default.
- W2188881323 hasRelatedWork W2354470518 @default.
- W2188881323 hasRelatedWork W2402056577 @default.
- W2188881323 hasRelatedWork W2542209384 @default.
- W2188881323 hasRelatedWork W2416062364 @default.
- W2188881323 isParatext "false" @default.
- W2188881323 isRetracted "false" @default.
- W2188881323 magId "2188881323" @default.
- W2188881323 workType "article" @default.