Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022998445> ?p ?o ?g. }
- W2022998445 endingPage "1123" @default.
- W2022998445 startingPage "1111" @default.
- W2022998445 abstract "Nowadays, architecture description languages (ADLs) are getting popular to achieve quick and optimal design convergence during the development of application specific instruction-set processors (ASIPs). Verification, in various stages of such ASIP development, is a major bottleneck hindering widespread acceptance of ADL-based processor design approach. Traditional verification of processors are only applied at register transfer level (RTL) or below. In the context of ADL-based ASIP design, this verification approach is often inconvenient and error-prone, since design and verification are done at different levels of abstraction. In this paper, this problem is addressed by presenting an integrated verification approach during ADL-driven processor design. Our verification flow includes the idea of automatic assertion generation during high-level synthesis and support for automatic test-generation utilizing the ADL-framework for ASIP design. We show the benefit of our approach by trapping errors in a pipelined SPARC-compliant processor architecture and in an application-specific DSP architecture." @default.
- W2022998445 created "2016-06-24" @default.
- W2022998445 creator A5020992230 @default.
- W2022998445 creator A5023470562 @default.
- W2022998445 creator A5050903837 @default.
- W2022998445 creator A5054387341 @default.
- W2022998445 creator A5067006900 @default.
- W2022998445 creator A5089860351 @default.
- W2022998445 date "2009-07-01" @default.
- W2022998445 modified "2023-10-14" @default.
- W2022998445 title "Integrated verification approach during ADL-driven processor design" @default.
- W2022998445 cites W1522416322 @default.
- W2022998445 cites W1585971644 @default.
- W2022998445 cites W1741528175 @default.
- W2022998445 cites W1829792471 @default.
- W2022998445 cites W2004917085 @default.
- W2022998445 cites W2010074783 @default.
- W2022998445 cites W2042345013 @default.
- W2022998445 cites W2075959177 @default.
- W2022998445 cites W2100179054 @default.
- W2022998445 cites W2102598768 @default.
- W2022998445 cites W2102853656 @default.
- W2022998445 cites W2107503612 @default.
- W2022998445 cites W2111243257 @default.
- W2022998445 cites W2112537029 @default.
- W2022998445 cites W2116141893 @default.
- W2022998445 cites W2118154221 @default.
- W2022998445 cites W2134404335 @default.
- W2022998445 cites W2136357775 @default.
- W2022998445 cites W2136932895 @default.
- W2022998445 cites W2138362897 @default.
- W2022998445 cites W2148548948 @default.
- W2022998445 cites W2155341425 @default.
- W2022998445 cites W2161038820 @default.
- W2022998445 cites W2162921448 @default.
- W2022998445 cites W2167198758 @default.
- W2022998445 cites W2167613249 @default.
- W2022998445 cites W2169839901 @default.
- W2022998445 cites W3151542519 @default.
- W2022998445 doi "https://doi.org/10.1016/j.mejo.2008.05.009" @default.
- W2022998445 hasPublicationYear "2009" @default.
- W2022998445 type Work @default.
- W2022998445 sameAs 2022998445 @default.
- W2022998445 citedByCount "5" @default.
- W2022998445 crossrefType "journal-article" @default.
- W2022998445 hasAuthorship W2022998445A5020992230 @default.
- W2022998445 hasAuthorship W2022998445A5023470562 @default.
- W2022998445 hasAuthorship W2022998445A5050903837 @default.
- W2022998445 hasAuthorship W2022998445A5054387341 @default.
- W2022998445 hasAuthorship W2022998445A5067006900 @default.
- W2022998445 hasAuthorship W2022998445A5089860351 @default.
- W2022998445 hasBestOaLocation W20229984452 @default.
- W2022998445 hasConcept C111498074 @default.
- W2022998445 hasConcept C118021083 @default.
- W2022998445 hasConcept C118524514 @default.
- W2022998445 hasConcept C149635348 @default.
- W2022998445 hasConcept C151730666 @default.
- W2022998445 hasConcept C169590947 @default.
- W2022998445 hasConcept C186846655 @default.
- W2022998445 hasConcept C187250869 @default.
- W2022998445 hasConcept C199360897 @default.
- W2022998445 hasConcept C202491316 @default.
- W2022998445 hasConcept C2777904410 @default.
- W2022998445 hasConcept C2779343474 @default.
- W2022998445 hasConcept C2780513914 @default.
- W2022998445 hasConcept C3406870 @default.
- W2022998445 hasConcept C37135326 @default.
- W2022998445 hasConcept C41008148 @default.
- W2022998445 hasConcept C526435321 @default.
- W2022998445 hasConcept C529173508 @default.
- W2022998445 hasConcept C62460635 @default.
- W2022998445 hasConcept C77495112 @default.
- W2022998445 hasConcept C86803240 @default.
- W2022998445 hasConceptScore W2022998445C111498074 @default.
- W2022998445 hasConceptScore W2022998445C118021083 @default.
- W2022998445 hasConceptScore W2022998445C118524514 @default.
- W2022998445 hasConceptScore W2022998445C149635348 @default.
- W2022998445 hasConceptScore W2022998445C151730666 @default.
- W2022998445 hasConceptScore W2022998445C169590947 @default.
- W2022998445 hasConceptScore W2022998445C186846655 @default.
- W2022998445 hasConceptScore W2022998445C187250869 @default.
- W2022998445 hasConceptScore W2022998445C199360897 @default.
- W2022998445 hasConceptScore W2022998445C202491316 @default.
- W2022998445 hasConceptScore W2022998445C2777904410 @default.
- W2022998445 hasConceptScore W2022998445C2779343474 @default.
- W2022998445 hasConceptScore W2022998445C2780513914 @default.
- W2022998445 hasConceptScore W2022998445C3406870 @default.
- W2022998445 hasConceptScore W2022998445C37135326 @default.
- W2022998445 hasConceptScore W2022998445C41008148 @default.
- W2022998445 hasConceptScore W2022998445C526435321 @default.
- W2022998445 hasConceptScore W2022998445C529173508 @default.
- W2022998445 hasConceptScore W2022998445C62460635 @default.
- W2022998445 hasConceptScore W2022998445C77495112 @default.
- W2022998445 hasConceptScore W2022998445C86803240 @default.
- W2022998445 hasIssue "7" @default.
- W2022998445 hasLocation W20229984451 @default.
- W2022998445 hasLocation W20229984452 @default.
- W2022998445 hasOpenAccess W2022998445 @default.