Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381281730> ?p ?o ?g. }
- W4381281730 endingPage "32" @default.
- W4381281730 startingPage "1" @default.
- W4381281730 abstract "Modulo scheduling is the premier technique for throughput maximization of loops in high-level synthesis by interleaving consecutive loop iterations. The number of clock cycles between data insertions is called the initiation interval (II). For throughput maximization, this value should be as low as possible; therefore, its minimization is the main optimization goal. Despite its long historical existence, modulo scheduling always remained a relevant research topic over the years with many exact and heuristic algorithms available in the literature. Nevertheless, we are able to leverage the scalability of modern Boolean Satisfiability (SAT) solvers to outperform state-of-the-art ILP-based algorithms for latency-optimal modulo scheduling for both integer and rational IIs. Our algorithm is able to compute valid modulo schedules for the whole CHStone and MachSuite benchmark suites, with 99% of the solutions being proven to be throughput optimal for a timeout of only 10 minutes per candidate II. For various time limits, not a single tested scheduler from the state of the art is able to compute more verified optimal solutions or even a single schedule with a higher throughput than our proposed approach. Using an HLS toolflow, we show that our algorithm can be effectively used to generate Pareto-optimal FPGA implementations regarding throughput and resource usage." @default.
- W4381281730 created "2023-06-21" @default.
- W4381281730 creator A5002067478 @default.
- W4381281730 creator A5034328761 @default.
- W4381281730 date "2023-07-27" @default.
- W4381281730 modified "2023-09-27" @default.
- W4381281730 title "BLOOP: Boolean Satisfiability-based Optimized Loop Pipelining" @default.
- W4381281730 cites W1587799811 @default.
- W4381281730 cites W2012114780 @default.
- W4381281730 cites W2014176439 @default.
- W4381281730 cites W2028745274 @default.
- W4381281730 cites W2036265926 @default.
- W4381281730 cites W2047852688 @default.
- W4381281730 cites W2054652902 @default.
- W4381281730 cites W2057332688 @default.
- W4381281730 cites W2057807751 @default.
- W4381281730 cites W2071189607 @default.
- W4381281730 cites W2095381673 @default.
- W4381281730 cites W2118382442 @default.
- W4381281730 cites W2123412205 @default.
- W4381281730 cites W2147088458 @default.
- W4381281730 cites W2151746889 @default.
- W4381281730 cites W2154209875 @default.
- W4381281730 cites W2168922271 @default.
- W4381281730 cites W2343695530 @default.
- W4381281730 cites W2530146034 @default.
- W4381281730 cites W2756498417 @default.
- W4381281730 cites W2788447492 @default.
- W4381281730 cites W2790678706 @default.
- W4381281730 cites W2803043552 @default.
- W4381281730 cites W2886321214 @default.
- W4381281730 cites W2907377324 @default.
- W4381281730 cites W2919173505 @default.
- W4381281730 cites W2921685732 @default.
- W4381281730 cites W2943915040 @default.
- W4381281730 cites W2945676406 @default.
- W4381281730 cites W2967111204 @default.
- W4381281730 cites W3008230609 @default.
- W4381281730 cites W3080183920 @default.
- W4381281730 cites W3102169921 @default.
- W4381281730 cites W3130502810 @default.
- W4381281730 cites W3132747998 @default.
- W4381281730 cites W3162681377 @default.
- W4381281730 cites W3175840841 @default.
- W4381281730 cites W3205047249 @default.
- W4381281730 cites W4224265992 @default.
- W4381281730 cites W4229060511 @default.
- W4381281730 cites W4233718422 @default.
- W4381281730 cites W4246009290 @default.
- W4381281730 cites W4256534760 @default.
- W4381281730 cites W4281753488 @default.
- W4381281730 cites W4321637214 @default.
- W4381281730 cites W4321637366 @default.
- W4381281730 doi "https://doi.org/10.1145/3599972" @default.
- W4381281730 hasPublicationYear "2023" @default.
- W4381281730 type Work @default.
- W4381281730 citedByCount "0" @default.
- W4381281730 crossrefType "journal-article" @default.
- W4381281730 hasAuthorship W4381281730A5002067478 @default.
- W4381281730 hasAuthorship W4381281730A5034328761 @default.
- W4381281730 hasBestOaLocation W43812817301 @default.
- W4381281730 hasConcept C111919701 @default.
- W4381281730 hasConcept C11413529 @default.
- W4381281730 hasConcept C118615104 @default.
- W4381281730 hasConcept C126255220 @default.
- W4381281730 hasConcept C173608175 @default.
- W4381281730 hasConcept C206729178 @default.
- W4381281730 hasConcept C28034677 @default.
- W4381281730 hasConcept C33923547 @default.
- W4381281730 hasConcept C41008148 @default.
- W4381281730 hasConcept C48044578 @default.
- W4381281730 hasConcept C54732982 @default.
- W4381281730 hasConcept C77088390 @default.
- W4381281730 hasConceptScore W4381281730C111919701 @default.
- W4381281730 hasConceptScore W4381281730C11413529 @default.
- W4381281730 hasConceptScore W4381281730C118615104 @default.
- W4381281730 hasConceptScore W4381281730C126255220 @default.
- W4381281730 hasConceptScore W4381281730C173608175 @default.
- W4381281730 hasConceptScore W4381281730C206729178 @default.
- W4381281730 hasConceptScore W4381281730C28034677 @default.
- W4381281730 hasConceptScore W4381281730C33923547 @default.
- W4381281730 hasConceptScore W4381281730C41008148 @default.
- W4381281730 hasConceptScore W4381281730C48044578 @default.
- W4381281730 hasConceptScore W4381281730C54732982 @default.
- W4381281730 hasConceptScore W4381281730C77088390 @default.
- W4381281730 hasIssue "3" @default.
- W4381281730 hasLocation W43812817301 @default.
- W4381281730 hasOpenAccess W4381281730 @default.
- W4381281730 hasPrimaryLocation W43812817301 @default.
- W4381281730 hasRelatedWork W1569389315 @default.
- W4381281730 hasRelatedWork W1992741870 @default.
- W4381281730 hasRelatedWork W1998131226 @default.
- W4381281730 hasRelatedWork W2043941084 @default.
- W4381281730 hasRelatedWork W2052334484 @default.
- W4381281730 hasRelatedWork W2302028273 @default.
- W4381281730 hasRelatedWork W2357498671 @default.
- W4381281730 hasRelatedWork W2364921833 @default.
- W4381281730 hasRelatedWork W2546696010 @default.