Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113553510> ?p ?o ?g. }
- W2113553510 endingPage "30" @default.
- W2113553510 startingPage "1" @default.
- W2113553510 abstract "Due to the massive complexity of contemporary embedded applications and integrated systems, long effort has been invested in high-level synthesis (HLS) and electronic system level (ESL) methodologies to automatically produce correct implementations from high-level, abstract, and executable specifications written in program code. If the HLS transformations that are applied on the source code are formal, then the generated implementation is correct-by-construction. The focus in this work is on application-specific design, which can deliver optimal, and customized implementations, as opposed to platform or IP-based design, which is bound by the limits and constraints of the preexisting architecture. This work surveys and reviews past and current research in the area of ESL and HLS. Then, a prototype HLS compiler tool that has been developed by the author is presented, which utilizes compiler-generators and logic programming to turn the synthesis into a formal process. The scheduler PARCS and the formal compilation of the system are tested with a number of benchmarks and real-world applications. This demonstrates the usability and applicability of the presented method." @default.
- W2113553510 created "2016-06-24" @default.
- W2113553510 creator A5081389746 @default.
- W2113553510 date "2012-06-27" @default.
- W2113553510 modified "2023-09-25" @default.
- W2113553510 title "Formal ESL Synthesis for Control-Intensive Applications" @default.
- W2113553510 cites W1966415715 @default.
- W2113553510 cites W1981646795 @default.
- W2113553510 cites W1982480183 @default.
- W2113553510 cites W2001642815 @default.
- W2113553510 cites W2004068104 @default.
- W2113553510 cites W2010398371 @default.
- W2113553510 cites W2012429438 @default.
- W2113553510 cites W2022735626 @default.
- W2113553510 cites W2030905142 @default.
- W2113553510 cites W2031662677 @default.
- W2113553510 cites W2039719334 @default.
- W2113553510 cites W2042202727 @default.
- W2113553510 cites W2044813061 @default.
- W2113553510 cites W2054918342 @default.
- W2113553510 cites W2063747323 @default.
- W2113553510 cites W2064115172 @default.
- W2113553510 cites W2082085231 @default.
- W2113553510 cites W2084344018 @default.
- W2113553510 cites W2093842169 @default.
- W2113553510 cites W2097297686 @default.
- W2113553510 cites W2100596926 @default.
- W2113553510 cites W2111130897 @default.
- W2113553510 cites W2113480331 @default.
- W2113553510 cites W2119102557 @default.
- W2113553510 cites W2125415493 @default.
- W2113553510 cites W2128920842 @default.
- W2113553510 cites W2132928765 @default.
- W2113553510 cites W2138092512 @default.
- W2113553510 cites W2142403965 @default.
- W2113553510 cites W2148210292 @default.
- W2113553510 cites W2149449941 @default.
- W2113553510 cites W2151103736 @default.
- W2113553510 cites W2151419451 @default.
- W2113553510 cites W2154670520 @default.
- W2113553510 cites W2155256384 @default.
- W2113553510 cites W2160119788 @default.
- W2113553510 cites W2163437659 @default.
- W2113553510 cites W2164089037 @default.
- W2113553510 cites W2165692455 @default.
- W2113553510 cites W2169736898 @default.
- W2113553510 cites W4234537939 @default.
- W2113553510 doi "https://doi.org/10.1155/2012/156907" @default.
- W2113553510 hasPublicationYear "2012" @default.
- W2113553510 type Work @default.
- W2113553510 sameAs 2113553510 @default.
- W2113553510 citedByCount "1" @default.
- W2113553510 countsByYear W21135535102020 @default.
- W2113553510 crossrefType "journal-article" @default.
- W2113553510 hasAuthorship W2113553510A5081389746 @default.
- W2113553510 hasBestOaLocation W21135535101 @default.
- W2113553510 hasConcept C111919701 @default.
- W2113553510 hasConcept C115903868 @default.
- W2113553510 hasConcept C118524514 @default.
- W2113553510 hasConcept C133162039 @default.
- W2113553510 hasConcept C149635348 @default.
- W2113553510 hasConcept C160145156 @default.
- W2113553510 hasConcept C169590947 @default.
- W2113553510 hasConcept C170130773 @default.
- W2113553510 hasConcept C199360897 @default.
- W2113553510 hasConcept C26517878 @default.
- W2113553510 hasConcept C26713055 @default.
- W2113553510 hasConcept C41008148 @default.
- W2113553510 hasConcept C75606506 @default.
- W2113553510 hasConceptScore W2113553510C111919701 @default.
- W2113553510 hasConceptScore W2113553510C115903868 @default.
- W2113553510 hasConceptScore W2113553510C118524514 @default.
- W2113553510 hasConceptScore W2113553510C133162039 @default.
- W2113553510 hasConceptScore W2113553510C149635348 @default.
- W2113553510 hasConceptScore W2113553510C160145156 @default.
- W2113553510 hasConceptScore W2113553510C169590947 @default.
- W2113553510 hasConceptScore W2113553510C170130773 @default.
- W2113553510 hasConceptScore W2113553510C199360897 @default.
- W2113553510 hasConceptScore W2113553510C26517878 @default.
- W2113553510 hasConceptScore W2113553510C26713055 @default.
- W2113553510 hasConceptScore W2113553510C41008148 @default.
- W2113553510 hasConceptScore W2113553510C75606506 @default.
- W2113553510 hasLocation W21135535101 @default.
- W2113553510 hasOpenAccess W2113553510 @default.
- W2113553510 hasPrimaryLocation W21135535101 @default.
- W2113553510 hasRelatedWork W1504651774 @default.
- W2113553510 hasRelatedWork W1584210087 @default.
- W2113553510 hasRelatedWork W2007728761 @default.
- W2113553510 hasRelatedWork W2041027901 @default.
- W2113553510 hasRelatedWork W2069385340 @default.
- W2113553510 hasRelatedWork W2091716239 @default.
- W2113553510 hasRelatedWork W2113553510 @default.
- W2113553510 hasRelatedWork W2519339279 @default.
- W2113553510 hasRelatedWork W2748872428 @default.
- W2113553510 hasRelatedWork W283806354 @default.
- W2113553510 hasVolume "2012" @default.
- W2113553510 isParatext "false" @default.
- W2113553510 isRetracted "false" @default.