CIRCT (Circuit IR Compilers and Tools 电路IR编译器和工具)介绍-CSDN博客

本文链接：https://blog.csdn.net/kanhao100/article/details/146374122

CIRCT (Circuit IR Compilers and Tools)介绍

https://circt.llvm.org/

引言

随着现代硬件设计的复杂性不断增加，传统的编译器基础设施已无法满足高效开发和优化的需求。CIRCT（Circuit IR Compilers and Tools）是一个由LLVM社区开发的开源项目，旨在提供灵活的电路中间表示（IR）和相关编译工具，支持硬件设计的自动化与优化。本文将深入探讨CIRCT的背景、核心组件、应用场景及其与现有工具链的关系。

在这里插入图片描述

1. CIRCT的背景与目标

1.1 背景

CIRCT项目于2020年被引入LLVM生态系统，旨在解决当前硬件编译工具在处理电路设计时的不足。传统的编译器（如GCC或LLVM）主要针对软件编译，而CIRCT则专注于硬件设计，提供专门的IR，使得硬件编程和优化更加高效。

1.2 目标

CIRCT的核心目标包括：

统一电路描述：为不同类型的硬件设计提供统一的中间表示，简化工具链。
支持多种硬件架构：能够支持FPGA、ASIC等不同硬件架构的编译和优化。
提高设计效率：通过提供高级抽象和优化，降低硬件设计开发的复杂性。
促进硬件和软件的协同设计：简化硬件和软件之间的交互，推动高效的软硬件协同设计。

2. CIRCT的核心组件

CIRCT的设计结构围绕多种电路中间表示和工具展开，主要包括以下组件：
在这里插入图片描述

2.1 Circuit IR（电路中间表示）

CIRCT引入了一种新的电路中间表示，允许设计者以高层次的方式描述电路结构和行为。Circuit IR具有以下特点：

层次化设计：支持多层次的电路描述，从高层功能到低层实现。
灵活的类型系统：允许定义各种电路组件和接口。
优化能力：提供多种优化Pass，针对电路进行高效处理。

2.2 Dialects（方言）

CIRCT支持多种方言（Dialect），每种方言代表一种特定的电路或硬件表示。例如：

Comb Dialect：用于组合逻辑电路的描述。
Seq Dialect：用于时序逻辑描述，支持状态机等。
FIRRTL Dialect：用于表示功能性硬件设计，适合高层次综合的场景。

方言的设计使得CIRCT能够适应各种硬件设计需求，支持多种电路描述风格。

2.3 Pass System（转换系统）

CIRCT提供了一系列Pass，允许对电路中间表示进行优化和转换。这些Pass涵盖了从高层优化到低层实现的各个方面：

常量传播：在IR级别进行常量折叠。
死代码消除：移除未使用的逻辑。
循环优化：提高循环结构的性能。

2.4 工具链集成

CIRCT可以与现有的LLVM工具链集成，使得硬件设计者能够利用LLVM的强大优化能力和后端支持。这种集成使得CIRCT能够在同一框架内处理硬件和软件的编译。

3. CIRCT的应用场景

CIRCT的设计目标使其适用于多种硬件设计和编译的场景：

3.1 FPGA设计

CIRCT可以用于FPGA设计，支持高层次综合（HLS）过程，将高级语言描述（如C/C++）转换为电路中间表示，并进行优化，最终生成硬件描述语言（如Verilog或VHDL）。

3.2 ASIC设计

CIRCT也适用于ASIC设计，支持从高层抽象到低层实现的多层次设计方法。通过统一的中间表示，设计者可以轻松进行各类优化和调整。

3.3 硬件/软件协同设计

CIRCT通过提供统一的IR，促进了硬件与软件的协同设计，使得开发者可以在同一框架内设计和优化硬件和软件组件。

3.4 领域特定加速器

CIRCT支持从领域特定语言（如TensorFlow、PyTorch）生成硬件加速器，优化特定领域的计算模式，如深度学习和信号处理。

4. CIRCT与LLVM的关系

CIRCT是LLVM项目的一部分，利用LLVM的编译器基础设施来支持编译和优化：

共享基础架构：CIRCT使用LLVM的编译器基础设施，使得其优化过程和代码生成部分能够高效运行。
模块化设计：CIRCT的方言和Pass系统与LLVM的模块化架构兼容，便于扩展和定制。
跨领域支持：CIRCT为硬件设计提供了一个统一的框架，而LLVM则主要集中在软件编译领域，这使得两者在编译和设计自动化中形成互补。

5. 如何快速利用CIRCT

5.1 安装与设置

要使用CIRCT，您需要先安装LLVM和CIRCT：

# 克隆LLVM和CIRCT
git clone https://github.com/llvm/llvm-project.git
cd llvm-project
git clone https://github.com/circt/circt.git

# 编译CIRCT
cd circt
mkdir build
cd build
cmake -G "Ninja" -DCMAKE_BUILD_TYPE=Release ../
ninja

5.2 示例代码

以下是一个使用CIRCT的简单示例，展示如何定义一个简单的加法器：

#include "mlir/IR/Builders.h"
#include "mlir/IR/Context.h"
#include "mlir/IR/Module.h"

// 定义加法器
void create_adder(mlir::OpBuilder &builder, mlir::ModuleOp module) {
    auto intType = builder.getIntegerType(32);
    auto funcType = builder.getFunctionType({intType, intType}, {intType});
    
    // 创建函数
    auto func = builder.create<mlir::FuncOp>(builder.getUnknownLoc(), "adder", funcType);
    
    // 创建函数体
    mlir::Block *body = func.addEntryBlock();
    builder.setInsertionPointToStart(body);
    
    auto a = body->getArgument(0);
    auto b = body->getArgument(1);
    
    auto sum = builder.create<mlir::AddIOp>(builder.getUnknownLoc(), a, b);
    builder.create<mlir::ReturnOp>(builder.getUnknownLoc(), sum);
}