Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386541610> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4386541610 endingPage "208" @default.
- W4386541610 startingPage "195" @default.
- W4386541610 abstract "In this paper, we propose a Virtual Prototype (VP) driven verification methodology for Hardware (HW) peripherals. In particular, we combine two approaches that complement each other and use the VP as a readily available reference model: We use (A) Coverage-Guided Fuzzing (CGF) which enables comprehensive verification at the unit-level of the Register-Transfer Level (RTL) HW peripheral with a Transaction Level Modeling (TLM) reference, and (B) an application-driven co-simulation-based approach that enables verification of the HW peripheral at the system-level. As a case-study, we utilize a RISC-V Platform Level Interrupt Controller (PLIC) as HW peripheral and use an abstract TLM PLIC implementation from the open source RISC-V VP as the reference model. In our experiments we find three behavioral mismatches and discuss the observation of these, as well as non-functional timing behavior mismatches, that were found through the proposed synergistic approach. Furthermore, we provide a discussion and considerations on the RTL/TLM Transactors, as they embody one keystone in cross-level methods. As the different approaches uncover different mismatches in our case-study (e.g., behavioral mismatches and timing mismatches), we conclude a synergy between the methods to aid in verification efforts." @default.
- W4386541610 created "2023-09-09" @default.
- W4386541610 creator A5012137527 @default.
- W4386541610 creator A5071742136 @default.
- W4386541610 creator A5087915119 @default.
- W4386541610 creator A5092775387 @default.
- W4386541610 date "2023-09-08" @default.
- W4386541610 modified "2023-10-16" @default.
- W4386541610 title "Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulation" @default.
- W4386541610 cites W1602612484 @default.
- W4386541610 cites W2040082102 @default.
- W4386541610 cites W2091198350 @default.
- W4386541610 cites W2160953336 @default.
- W4386541610 cites W2166358658 @default.
- W4386541610 cites W2490486567 @default.
- W4386541610 cites W2899727632 @default.
- W4386541610 cites W2943685732 @default.
- W4386541610 cites W2947455595 @default.
- W4386541610 cites W2964241064 @default.
- W4386541610 cites W3040708363 @default.
- W4386541610 cites W3142730433 @default.
- W4386541610 cites W3153308115 @default.
- W4386541610 cites W3154674654 @default.
- W4386541610 cites W3213773220 @default.
- W4386541610 cites W4243394032 @default.
- W4386541610 cites W4281749436 @default.
- W4386541610 cites W4284706927 @default.
- W4386541610 cites W4308095139 @default.
- W4386541610 doi "https://doi.org/10.3390/chips2030012" @default.
- W4386541610 hasPublicationYear "2023" @default.
- W4386541610 type Work @default.
- W4386541610 citedByCount "0" @default.
- W4386541610 crossrefType "journal-article" @default.
- W4386541610 hasAuthorship W4386541610A5012137527 @default.
- W4386541610 hasAuthorship W4386541610A5071742136 @default.
- W4386541610 hasAuthorship W4386541610A5087915119 @default.
- W4386541610 hasAuthorship W4386541610A5092775387 @default.
- W4386541610 hasBestOaLocation W43865416101 @default.
- W4386541610 hasConcept C111065885 @default.
- W4386541610 hasConcept C111498074 @default.
- W4386541610 hasConcept C111919701 @default.
- W4386541610 hasConcept C118021083 @default.
- W4386541610 hasConcept C118524514 @default.
- W4386541610 hasConcept C149635348 @default.
- W4386541610 hasConcept C169571997 @default.
- W4386541610 hasConcept C199360897 @default.
- W4386541610 hasConcept C2777904410 @default.
- W4386541610 hasConcept C41008148 @default.
- W4386541610 hasConcept C62460635 @default.
- W4386541610 hasConcept C9390403 @default.
- W4386541610 hasConceptScore W4386541610C111065885 @default.
- W4386541610 hasConceptScore W4386541610C111498074 @default.
- W4386541610 hasConceptScore W4386541610C111919701 @default.
- W4386541610 hasConceptScore W4386541610C118021083 @default.
- W4386541610 hasConceptScore W4386541610C118524514 @default.
- W4386541610 hasConceptScore W4386541610C149635348 @default.
- W4386541610 hasConceptScore W4386541610C169571997 @default.
- W4386541610 hasConceptScore W4386541610C199360897 @default.
- W4386541610 hasConceptScore W4386541610C2777904410 @default.
- W4386541610 hasConceptScore W4386541610C41008148 @default.
- W4386541610 hasConceptScore W4386541610C62460635 @default.
- W4386541610 hasConceptScore W4386541610C9390403 @default.
- W4386541610 hasFunder F4320321114 @default.
- W4386541610 hasIssue "3" @default.
- W4386541610 hasLocation W43865416101 @default.
- W4386541610 hasOpenAccess W4386541610 @default.
- W4386541610 hasPrimaryLocation W43865416101 @default.
- W4386541610 hasRelatedWork W1970385675 @default.
- W4386541610 hasRelatedWork W2040266304 @default.
- W4386541610 hasRelatedWork W2044903879 @default.
- W4386541610 hasRelatedWork W2106165004 @default.
- W4386541610 hasRelatedWork W2109707465 @default.
- W4386541610 hasRelatedWork W2359402975 @default.
- W4386541610 hasRelatedWork W2370062118 @default.
- W4386541610 hasRelatedWork W2375332438 @default.
- W4386541610 hasRelatedWork W2391022620 @default.
- W4386541610 hasRelatedWork W4304144385 @default.
- W4386541610 hasVolume "2" @default.
- W4386541610 isParatext "false" @default.
- W4386541610 isRetracted "false" @default.
- W4386541610 workType "article" @default.