Moore硬件编译器使用教程

Moore硬件编译器使用教程

moore A hardware compiler based on LLHD and CIRCT 项目地址: https://gitcode.com/gh_mirrors/mo/moore

1. 项目介绍

Moore是一个基于LLHD和CIRCT的硬件编译器，专注于易用性、清晰的错误报告和完整性。其目标是作为硬件设计工具（如综合器、静态分析器或逻辑等效检查器）的前端。Moore支持SystemVerilog和VHDL语言，并输出LLHD汇编代码。

2. 项目快速启动

2.1 安装依赖

首先，确保你已经安装了Rust编程语言。然后，克隆Moore项目并初始化子模块：

git clone https://github.com/fabianschuiki/moore.git
cd moore
git submodule update --init --recursive

2.2 构建LLVM和MLIR

创建并进入LLVM的构建目录，然后配置并构建LLVM和MLIR：

mkdir -p circt/llvm/build
cd circt/llvm/build
cmake -G Ninja ../llvm \
  -DCMAKE_BUILD_TYPE=Release \
  -DLLVM_BUILD_EXAMPLES=OFF \
  -DLLVM_ENABLE_ASSERTIONS=ON \
  -DLLVM_ENABLE_BINDINGS=OFF \
  -DLLVM_ENABLE_OCAMLDOC=OFF \
  -DLLVM_ENABLE_PROJECTS=mlir \
  -DLLVM_INSTALL_UTILS=ON \
  -DLLVM_OPTIMIZED_TABLEGEN=ON \
  -DLLVM_TARGETS_TO_BUILD="host"
cmake --build .

2.3 构建CIRCT

创建并进入CIRCT的构建目录，然后配置并构建CIRCT：

mkdir -p circt/build
cd circt/build
cmake -G Ninja .. \
  -DCMAKE_BUILD_TYPE=Release \
  -DMLIR_DIR=$PWD/../llvm/build/lib/cmake/mlir \
  -DLLVM_DIR=$PWD/../llvm/build/lib/cmake/llvm \
  -DLLVM_ENABLE_ASSERTIONS=ON
cmake --build .

2.4 构建Moore

设置环境变量以指向LLVM和CIRCT的构建目录，然后使用Cargo安装Moore：

export CIRCT_SYS_CIRCT_DIR=$PWD/circt
export CIRCT_SYS_CIRCT_BUILD_DIR=$PWD/circt/build
export CIRCT_SYS_LLVM_DIR=$PWD/circt/llvm
export CIRCT_SYS_LLVM_BUILD_DIR=$PWD/circt/llvm/build
cargo install --path .

2.5 使用Moore

假设你有一个名为foo.sv的SystemVerilog文件，内容如下：

module hello_world;
endmodule

你可以使用Moore编译并输出LLHD汇编代码：

moore foo.sv -e hello_world

3. 应用案例和最佳实践

3.1 硬件设计验证

Moore可以用于验证硬件设计的正确性。通过将设计编译为LLHD汇编代码，可以进一步使用LLHD模拟器进行验证。

3.2 综合工具前端

Moore可以作为硬件综合工具的前端，将高级硬件描述语言（如SystemVerilog和VHDL）转换为LLHD汇编代码，供后续综合工具使用。

4. 典型生态项目

4.1 LLHD模拟器

LLHD模拟器是一个用于模拟LLHD汇编代码的工具，可以与Moore结合使用，验证硬件设计的正确性。

4.2 CIRCT

CIRCT（Circuit IR Compilers and Tools）是一个基于MLIR的硬件编译器基础设施，Moore依赖于CIRCT进行底层编译和优化。

4.3 MLIR

MLIR（Multi-Level Intermediate Representation）是一个多层次中间表示，用于构建编译器和工具链。Moore使用MLIR作为其底层表示和优化框架。

通过以上步骤，你可以快速上手并使用Moore硬件编译器进行硬件设计和验证。

moore A hardware compiler based on LLHD and CIRCT 项目地址: https://gitcode.com/gh_mirrors/mo/moore