Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990117619> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2990117619 abstract "When it comes to design a system, being it hardware or software, verification is a step of extraordinary relevance, especially when the conceived product is deployed into a safety critical application or in expensive production process. However, this procedure suffers from the demanding challenge of the quick-scaling computational complexity, which becomes of significant importance when referring to big-sized models. The aim of this dissertation is to highlight the state-of-the-art verification methodologies, along with their advantages and drawbacks, and to discuss one cutting-edge technique deployed into a real-life industrial context: The alteration of an existing C/C++ model to support a C-vs-RTL verification process, and the generation of an automated testing framework suitable for verifying the correctness of the changes." @default.
- W2990117619 created "2019-12-05" @default.
- W2990117619 creator A5022187479 @default.
- W2990117619 date "2019-10-25" @default.
- W2990117619 modified "2023-09-27" @default.
- W2990117619 title "Testing Framework to support C-vs-RTL Equivalence Checking" @default.
- W2990117619 hasPublicationYear "2019" @default.
- W2990117619 type Work @default.
- W2990117619 sameAs 2990117619 @default.
- W2990117619 citedByCount "0" @default.
- W2990117619 crossrefType "journal-article" @default.
- W2990117619 hasAuthorship W2990117619A5022187479 @default.
- W2990117619 hasConcept C110251889 @default.
- W2990117619 hasConcept C111498074 @default.
- W2990117619 hasConcept C115903868 @default.
- W2990117619 hasConcept C127413603 @default.
- W2990117619 hasConcept C138885662 @default.
- W2990117619 hasConcept C142284323 @default.
- W2990117619 hasConcept C149091818 @default.
- W2990117619 hasConcept C151730666 @default.
- W2990117619 hasConcept C186846655 @default.
- W2990117619 hasConcept C199360897 @default.
- W2990117619 hasConcept C200601418 @default.
- W2990117619 hasConcept C2777904410 @default.
- W2990117619 hasConcept C2779343474 @default.
- W2990117619 hasConcept C2780069185 @default.
- W2990117619 hasConcept C33054407 @default.
- W2990117619 hasConcept C41008148 @default.
- W2990117619 hasConcept C41895202 @default.
- W2990117619 hasConcept C55439883 @default.
- W2990117619 hasConcept C62460635 @default.
- W2990117619 hasConcept C86803240 @default.
- W2990117619 hasConcept C96654402 @default.
- W2990117619 hasConcept C98045186 @default.
- W2990117619 hasConceptScore W2990117619C110251889 @default.
- W2990117619 hasConceptScore W2990117619C111498074 @default.
- W2990117619 hasConceptScore W2990117619C115903868 @default.
- W2990117619 hasConceptScore W2990117619C127413603 @default.
- W2990117619 hasConceptScore W2990117619C138885662 @default.
- W2990117619 hasConceptScore W2990117619C142284323 @default.
- W2990117619 hasConceptScore W2990117619C149091818 @default.
- W2990117619 hasConceptScore W2990117619C151730666 @default.
- W2990117619 hasConceptScore W2990117619C186846655 @default.
- W2990117619 hasConceptScore W2990117619C199360897 @default.
- W2990117619 hasConceptScore W2990117619C200601418 @default.
- W2990117619 hasConceptScore W2990117619C2777904410 @default.
- W2990117619 hasConceptScore W2990117619C2779343474 @default.
- W2990117619 hasConceptScore W2990117619C2780069185 @default.
- W2990117619 hasConceptScore W2990117619C33054407 @default.
- W2990117619 hasConceptScore W2990117619C41008148 @default.
- W2990117619 hasConceptScore W2990117619C41895202 @default.
- W2990117619 hasConceptScore W2990117619C55439883 @default.
- W2990117619 hasConceptScore W2990117619C62460635 @default.
- W2990117619 hasConceptScore W2990117619C86803240 @default.
- W2990117619 hasConceptScore W2990117619C96654402 @default.
- W2990117619 hasConceptScore W2990117619C98045186 @default.
- W2990117619 hasLocation W29901176191 @default.
- W2990117619 hasOpenAccess W2990117619 @default.
- W2990117619 hasPrimaryLocation W29901176191 @default.
- W2990117619 hasRelatedWork W110994617 @default.
- W2990117619 hasRelatedWork W1559703165 @default.
- W2990117619 hasRelatedWork W2070609496 @default.
- W2990117619 hasRelatedWork W2095066907 @default.
- W2990117619 hasRelatedWork W2098515451 @default.
- W2990117619 hasRelatedWork W2141770514 @default.
- W2990117619 hasRelatedWork W2167809103 @default.
- W2990117619 hasRelatedWork W2294099246 @default.
- W2990117619 hasRelatedWork W2304048052 @default.
- W2990117619 hasRelatedWork W2402671529 @default.
- W2990117619 hasRelatedWork W2465465307 @default.
- W2990117619 hasRelatedWork W2511416872 @default.
- W2990117619 hasRelatedWork W2534107961 @default.
- W2990117619 hasRelatedWork W2588940347 @default.
- W2990117619 hasRelatedWork W25906867 @default.
- W2990117619 hasRelatedWork W2747223904 @default.
- W2990117619 hasRelatedWork W2772114154 @default.
- W2990117619 hasRelatedWork W2950360254 @default.
- W2990117619 hasRelatedWork W2967277443 @default.
- W2990117619 hasRelatedWork W95959045 @default.
- W2990117619 isParatext "false" @default.
- W2990117619 isRetracted "false" @default.
- W2990117619 magId "2990117619" @default.
- W2990117619 workType "article" @default.