Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add citation link in README #29

Merged
merged 2 commits into from
Dec 2, 2024
Merged

Add citation link in README #29

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d966790
docs: add citation link in README.md
SeddonShen Nov 24, 2024
e01bb75
docs: update README and README.zh-CN
SeddonShen Dec 1, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ Read more detailed Chinese README: [中文说明](README.zh-CN.md).
- [TLB](#tlb)
- [Memory Access](#memory-access)
- [Verification Example](#verification-example)
- [Publications](#publications)

## Usage

Expand Down Expand Up @@ -129,3 +130,9 @@ when(backend.io.dmem.resp.fire) {
In this example of processor design, we modified the code to get a verifiable
system with reference model.
And then perform formal verification using BMC through ChiselTest.

## Publications

If our work has been helpful to you, please cite:

**SETTA 2024: Formal Verification of RISC-V Processor Chisel Designs** [Link](https://link.springer.com/chapter/10.1007/978-981-96-0602-3_8) | [BibTex](https://citation-needed.springer.com/v2/references/10.1007/978-981-96-0602-3_8?format=bibtex&flavour=citation)
7 changes: 7 additions & 0 deletions README.zh-CN.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@
- [使用建议](#使用建议)
- [使用 GitHub Actions 进行验证](#使用-github-actions-进行验证)
- [验证实例](#验证实例)
- [出版物](#出版物)

## 安装

Expand Down Expand Up @@ -345,3 +346,9 @@ GitHub Actions 可以在每次 push 代码到 GitHub 的时候自动运行验证
该项目是在 [NutShell](https://github.com/OSCPU/NutShell) 上进行验证的例子。
我们修改了 NutShell 代码以获取验证所需的处理器信息，并与参考模型进行了同步。
最终通过 [ChiselTest](https://github.com/ucb-bar/chiseltest) 提供的接口调用了 BMC 算法进行验证。

## 出版物

如果我们的工作对您有帮助，请引用：

**SETTA 2024: Formal Verification of RISC-V Processor Chisel Designs** [Link](https://link.springer.com/chapter/10.1007/978-981-96-0602-3_8) | [BibTex](https://citation-needed.springer.com/v2/references/10.1007/978-981-96-0602-3_8?format=bibtex&flavour=citation)
Loading