From fc1f49dbb6ba188be7f2d77f96ac9b1149e532ca Mon Sep 17 00:00:00 2001 From: Rachit Nigam Date: Tue, 2 Mar 2021 13:02:27 -0500 Subject: [PATCH] Update reference to Calyx/Futil in the charter (#704) --- docs/Charter.md | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/docs/Charter.md b/docs/Charter.md index 4faa45c27f58..e9639a6b4519 100644 --- a/docs/Charter.md +++ b/docs/Charter.md @@ -157,9 +157,15 @@ through logic synthesis into fixed logic. Several projects have described the internal representation of HLS compilers. LegUp leverages the Clang/LLVM framework for representing designs, while Bambu builds an independent -internal representation. A recent effort in this area is Futil, -which implements an intermediate representation leveraged by the Dahlia -system. +internal representation. + +[Calyx](https://capra.cs.cornell.edu/calyx) is a new intermediate language +that combines a software-like control language with a hardware-like structural +langauge. This intermediate level of representation allows Calyx to optimize +structural programs using control flow information. +Calyx currently serves as the compilation target for [Dahlia](https://capra.cs.cornell.edu/dahlia) +and several other domain-specific architectures (systolic array, number +theoretic transform unit). ### [Dataflow/handshake](Dialects/Handshake.md)