Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990240830> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2990240830 abstract "High-Level Synthesis (HLS) allows engineers to build complex FPGA-based solutions by reducing the time-to-market; contrarily, HLS introduces some problems such as lost of control of the generated RTL and the signal observability during the development process. This fact demands an on-board debugging ecosystem so as to make HLS technology a successful approach. In this paper, HALib (Hardware Assertion Library) is introduced as a collection of synthesizable assertions that can be directly embedded into the high-level model, plus a comprehensive verification framework. HALib allows engineers to debug HLS-based modules once their have been mapped onto an FPGA by means of internal variable monitoring, avoiding any restriction regarding signal observability. Our solution has been integrated in Vivado toolchain and tested on a Zedboard with a collection of HLS kernels. The analysis of experimental results shows that the proposed solution does not incur a relevant overhead in terms of hardware resources, an increase of around 2% of FlipFlops and 1% of LUTs per assertion instantiated, neither increase the kernel delay in terms of timing." @default.
- W2990240830 created "2019-12-05" @default.
- W2990240830 creator A5015256623 @default.
- W2990240830 creator A5024671599 @default.
- W2990240830 creator A5057345586 @default.
- W2990240830 creator A5061032213 @default.
- W2990240830 creator A5075155656 @default.
- W2990240830 creator A5083846340 @default.
- W2990240830 date "2019-10-01" @default.
- W2990240830 modified "2023-09-25" @default.
- W2990240830 title "HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLS" @default.
- W2990240830 cites W1978408137 @default.
- W2990240830 cites W1984559585 @default.
- W2990240830 cites W2012262513 @default.
- W2990240830 cites W2072073269 @default.
- W2990240830 cites W2090808187 @default.
- W2990240830 cites W2156499539 @default.
- W2990240830 cites W2343695530 @default.
- W2990240830 cites W2345908052 @default.
- W2990240830 cites W2461582450 @default.
- W2990240830 cites W2604138444 @default.
- W2990240830 cites W2615965484 @default.
- W2990240830 cites W2745235995 @default.
- W2990240830 cites W2755785443 @default.
- W2990240830 doi "https://doi.org/10.1109/norchip.2019.8906966" @default.
- W2990240830 hasPublicationYear "2019" @default.
- W2990240830 type Work @default.
- W2990240830 sameAs 2990240830 @default.
- W2990240830 citedByCount "1" @default.
- W2990240830 countsByYear W29902408302021 @default.
- W2990240830 crossrefType "proceedings-article" @default.
- W2990240830 hasAuthorship W2990240830A5015256623 @default.
- W2990240830 hasAuthorship W2990240830A5024671599 @default.
- W2990240830 hasAuthorship W2990240830A5057345586 @default.
- W2990240830 hasAuthorship W2990240830A5061032213 @default.
- W2990240830 hasAuthorship W2990240830A5075155656 @default.
- W2990240830 hasAuthorship W2990240830A5083846340 @default.
- W2990240830 hasConcept C114614502 @default.
- W2990240830 hasConcept C149635348 @default.
- W2990240830 hasConcept C168065819 @default.
- W2990240830 hasConcept C199360897 @default.
- W2990240830 hasConcept C2777062904 @default.
- W2990240830 hasConcept C2777904410 @default.
- W2990240830 hasConcept C28826006 @default.
- W2990240830 hasConcept C33923547 @default.
- W2990240830 hasConcept C36299963 @default.
- W2990240830 hasConcept C40422974 @default.
- W2990240830 hasConcept C41008148 @default.
- W2990240830 hasConcept C42935608 @default.
- W2990240830 hasConcept C58013763 @default.
- W2990240830 hasConcept C74193536 @default.
- W2990240830 hasConcept C98045186 @default.
- W2990240830 hasConceptScore W2990240830C114614502 @default.
- W2990240830 hasConceptScore W2990240830C149635348 @default.
- W2990240830 hasConceptScore W2990240830C168065819 @default.
- W2990240830 hasConceptScore W2990240830C199360897 @default.
- W2990240830 hasConceptScore W2990240830C2777062904 @default.
- W2990240830 hasConceptScore W2990240830C2777904410 @default.
- W2990240830 hasConceptScore W2990240830C28826006 @default.
- W2990240830 hasConceptScore W2990240830C33923547 @default.
- W2990240830 hasConceptScore W2990240830C36299963 @default.
- W2990240830 hasConceptScore W2990240830C40422974 @default.
- W2990240830 hasConceptScore W2990240830C41008148 @default.
- W2990240830 hasConceptScore W2990240830C42935608 @default.
- W2990240830 hasConceptScore W2990240830C58013763 @default.
- W2990240830 hasConceptScore W2990240830C74193536 @default.
- W2990240830 hasConceptScore W2990240830C98045186 @default.
- W2990240830 hasLocation W29902408301 @default.
- W2990240830 hasOpenAccess W2990240830 @default.
- W2990240830 hasPrimaryLocation W29902408301 @default.
- W2990240830 hasRelatedWork W1974351467 @default.
- W2990240830 hasRelatedWork W1994052066 @default.
- W2990240830 hasRelatedWork W2008991261 @default.
- W2990240830 hasRelatedWork W2049880113 @default.
- W2990240830 hasRelatedWork W2087852986 @default.
- W2990240830 hasRelatedWork W2122101191 @default.
- W2990240830 hasRelatedWork W2147961213 @default.
- W2990240830 hasRelatedWork W2170697746 @default.
- W2990240830 hasRelatedWork W2261680763 @default.
- W2990240830 hasRelatedWork W2570623865 @default.
- W2990240830 hasRelatedWork W2596814433 @default.
- W2990240830 hasRelatedWork W2766445634 @default.
- W2990240830 hasRelatedWork W2880976528 @default.
- W2990240830 hasRelatedWork W2888324132 @default.
- W2990240830 hasRelatedWork W2925360983 @default.
- W2990240830 hasRelatedWork W2945560322 @default.
- W2990240830 hasRelatedWork W3008197904 @default.
- W2990240830 hasRelatedWork W3122432626 @default.
- W2990240830 hasRelatedWork W3128960600 @default.
- W2990240830 hasRelatedWork W3129849039 @default.
- W2990240830 isParatext "false" @default.
- W2990240830 isRetracted "false" @default.
- W2990240830 magId "2990240830" @default.
- W2990240830 workType "article" @default.