terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update reference to Calyx/Futil in the charter (#704)

This commit is contained in:
Rachit Nigam 2021-03-02 13:02:27 -05:00 committed by GitHub
parent 2343f692d0
commit fc1f49dbb6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
docs/Charter.md
View File

@ -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)