FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2382773504> ?p ?o ?g. }

• W2382773504 abstract "Processor verification is a time consuming task and with processor complexity increasing by the day, managing the complete verification process successfully has become a major challenge. Besides, a small bug in the final product may ruin all the efforts and could prove as a critical setback. This problem has resulted in verification methodologies, like formal verification, gaining considerable importance over the years. Yet, integration of formal verification with existing methodologies like simulation and other verification modules is still not very clearly established and remains vendor specific. Then there are other issues that make the whole process very complex. This paper looks into the various aspects of verification methodologies presenting key ideas. We present a framework that can enhance verification process along with metrics will serve to increase overall efficiency." @default.
• W2382773504 created "2016-06-24" @default.
• W2382773504 creator A5052589841 @default.
• W2382773504 creator A5083889434 @default.
• W2382773504 date "2010-01-01" @default.
• W2382773504 modified "2023-09-27" @default.
• W2382773504 title "Metric driven Framework for Processor Verification" @default.
• W2382773504 cites W1517173520 @default.
• W2382773504 cites W1592694924 @default.
• W2382773504 cites W1965327442 @default.
• W2382773504 cites W1970825584 @default.
• W2382773504 cites W1993842551 @default.
• W2382773504 cites W2020628878 @default.
• W2382773504 cites W2032544869 @default.
• W2382773504 cites W2032755892 @default.
• W2382773504 cites W2060596275 @default.
• W2382773504 cites W2066644134 @default.
• W2382773504 cites W2069984295 @default.
• W2382773504 cites W2072547867 @default.
• W2382773504 cites W2093014989 @default.
• W2382773504 cites W2098595405 @default.
• W2382773504 cites W2102606870 @default.
• W2382773504 cites W2106507440 @default.
• W2382773504 cites W2108209059 @default.
• W2382773504 cites W2110814332 @default.
• W2382773504 cites W2119341106 @default.
• W2382773504 cites W2122988457 @default.
• W2382773504 cites W2151051752 @default.
• W2382773504 cites W2151898345 @default.
• W2382773504 cites W2168088856 @default.
• W2382773504 cites W2492757556 @default.
• W2382773504 cites W2535719568 @default.
• W2382773504 cites W69130158 @default.
• W2382773504 cites W28002901 @default.
• W2382773504 hasPublicationYear "2010" @default.
• W2382773504 type Work @default.
• W2382773504 sameAs 2382773504 @default.
• W2382773504 citedByCount "0" @default.
• W2382773504 crossrefType "journal-article" @default.
• W2382773504 hasAuthorship W2382773504A5052589841 @default.
• W2382773504 hasAuthorship W2382773504A5083889434 @default.
• W2382773504 hasConcept C111498074 @default.
• W2382773504 hasConcept C111919701 @default.
• W2382773504 hasConcept C115903868 @default.
• W2382773504 hasConcept C127413603 @default.
• W2382773504 hasConcept C142284323 @default.
• W2382773504 hasConcept C144133560 @default.
• W2382773504 hasConcept C162853370 @default.
• W2382773504 hasConcept C176217482 @default.
• W2382773504 hasConcept C186846655 @default.
• W2382773504 hasConcept C187250869 @default.
• W2382773504 hasConcept C199360897 @default.
• W2382773504 hasConcept C201995342 @default.
• W2382773504 hasConcept C202973057 @default.
• W2382773504 hasConcept C21547014 @default.
• W2382773504 hasConcept C26517878 @default.
• W2382773504 hasConcept C2777338717 @default.
• W2382773504 hasConcept C2777904410 @default.
• W2382773504 hasConcept C2780451532 @default.
• W2382773504 hasConcept C33054407 @default.
• W2382773504 hasConcept C3406870 @default.
• W2382773504 hasConcept C41008148 @default.
• W2382773504 hasConcept C529173508 @default.
• W2382773504 hasConcept C62460635 @default.
• W2382773504 hasConcept C98045186 @default.
• W2382773504 hasConceptScore W2382773504C111498074 @default.
• W2382773504 hasConceptScore W2382773504C111919701 @default.
• W2382773504 hasConceptScore W2382773504C115903868 @default.
• W2382773504 hasConceptScore W2382773504C127413603 @default.
• W2382773504 hasConceptScore W2382773504C142284323 @default.
• W2382773504 hasConceptScore W2382773504C144133560 @default.
• W2382773504 hasConceptScore W2382773504C162853370 @default.
• W2382773504 hasConceptScore W2382773504C176217482 @default.
• W2382773504 hasConceptScore W2382773504C186846655 @default.
• W2382773504 hasConceptScore W2382773504C187250869 @default.
• W2382773504 hasConceptScore W2382773504C199360897 @default.
• W2382773504 hasConceptScore W2382773504C201995342 @default.
• W2382773504 hasConceptScore W2382773504C202973057 @default.
• W2382773504 hasConceptScore W2382773504C21547014 @default.
• W2382773504 hasConceptScore W2382773504C26517878 @default.
• W2382773504 hasConceptScore W2382773504C2777338717 @default.
• W2382773504 hasConceptScore W2382773504C2777904410 @default.
• W2382773504 hasConceptScore W2382773504C2780451532 @default.
• W2382773504 hasConceptScore W2382773504C33054407 @default.
• W2382773504 hasConceptScore W2382773504C3406870 @default.
• W2382773504 hasConceptScore W2382773504C41008148 @default.
• W2382773504 hasConceptScore W2382773504C529173508 @default.
• W2382773504 hasConceptScore W2382773504C62460635 @default.
• W2382773504 hasConceptScore W2382773504C98045186 @default.
• W2382773504 hasLocation W23827735041 @default.
• W2382773504 hasOpenAccess W2382773504 @default.
• W2382773504 hasPrimaryLocation W23827735041 @default.
• W2382773504 hasRelatedWork W118047725 @default.
• W2382773504 hasRelatedWork W1533380800 @default.
• W2382773504 hasRelatedWork W1557310329 @default.
• W2382773504 hasRelatedWork W1916257639 @default.
• W2382773504 hasRelatedWork W1970278969 @default.
• W2382773504 hasRelatedWork W1973649421 @default.
• W2382773504 hasRelatedWork W2028429033 @default.
• W2382773504 hasRelatedWork W2105657528 @default.

• next