喜欢0次
报名编号：CICC1182
团队名称: 源计划
学校名称：国防科技大学
队伍成员：陈爽，唐之宇，杨焯
指导老师：黎铁军
内容：在Linux ubuntu上使用riscv-formal工具验证蜂鸟E203 SoC的正确性
步骤：
1、下载和安装riscv-formal工具：
bash复制代码
git clone https://github.com/SymbioticEDA/riscv-formal.git
cd riscv-formal
sudo apt-get install sby yosys verilator python3-pip
pip3 install -r requirements.txt
2、获取蜂鸟E203 SoC的RTL代码并编译：
可以从蜂鸟官网（https://www.openep.org/e203/）获取RTL代码，并根据README文件中的说明进行编译。
3、准备formal验证环境并运行验证：
bash复制代码
cd ~/riscv-formal/checks
make CONFIG=../config/e203_arty.cfg RULESET=../rules/e203.ruleset run
此命令将创建一个名为“e203_arty”的新目录，并在其中生成所有必需的文件来开始验证过程。等待验证完成。如果通过了验证，将输出“PASS”。否则，您需要检查错误信息以了解具体问题
