Source Code
Browse Dynamatic's 2.0 source code. You can download and compile manually the packages.
Dynamatic 2.0 on Github
What is Dynamatic?
Dynamatic is an academic, open-source high-level synthesis compiler that produces synchronous dynamically-scheduled circuits from C/C++ code. Dynamatic generates synthesizable RTL which currently targets Xilinx FPGAs and delivers significant performance improvements compared to state-of-the-art commercial HLS tools in specific situations (e.g., applications with irregular memory accesses or control-dominated code). The fully automated compilation flow of Dynamatic is based on LLVM. It is customizable and extensible to target different hardware platforms and easy to use with commercial tools such as Vivado (Xilinx) and Modelsim (Mentor Graphics).
Why dynamic scheduling?
To illustrate the limitations of standard HLS approaches, consider the code on the left of Figure 1. In this loop, there is a control flow decision (if) which depends on the actual data being read from arrays A[ ] and B[ ]. The operation which might take place in a specific iteration (s = s + d) introduces a dependency between iterations and delays the next iteration whenever the condition is true.
When pipelining this loop, a typical HLS tool needs to create a static schedule—that is, a conservative execution plan for the various operations in the loop which is valid in every possible case. Such a schedule is shown on the top of Figure 1: in the example, the condition is true only for the second and third iteration but “space” is reserved in the schedule as if the condition were true everywhere. Obviously, a good schedule is the bottom one: the operations of different iterations are overlapped as much as possible and the parallelism is reduced only when the dependency is actually there (that is, when the addition is executed). This schedule can be achieved by the dynamically scheduled circuit on the right: in this circuit, components exchange data as soon as all conditions for execution are satisfied and the schedule is adapted at runtime to particular data and control outcomes. Such behavior, realized in Dynamatic, is beyond what a statically scheduled HLS tool can achieve.
MLIR-based Dynamatic 2.0
A brand new version of Dynamatic based on the MLIR compiler infrastructure, to take advantage of MLIR’s modularity and reusability. Our new incarnation of Dynamatic puts more emphasis on the richness of features and user-friendliness, and is now more useful for both HLS designers and HLS researchers.
Try it!
Dynamatic 2.0 is released as open source under Apache 2.0 license.
Three different version are available for download: source code, auto-install package, and the pre-installed virtual machine.
Auto-installer package
Download and install automatically Dynamatic 2.0 on your machine.
Dynamatic 2.0 Installer
Virtual Machine
Download the virtual machine with Dynamatic 2.0 pre-installed.
Dynamatic 2.0 VM
