Release of stream-specialization software/hardware stack.

Domain-Specific Architecture Generator 2

generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG

EQueue Dialect

An Open-Source Tool for CGRA Accelerators

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

An integrated CGRA design framework