归档 - Clo91eaf's Blog

2024

4 篇文章

阅读<Few lesser known tricks, quirks and features of C>

#C语言 #编程技巧

使用JasperGold进行形式化验证

#JasperGold #形式化验证

为chisel-nix添加direnv支持

#Chisel #direnv #Nix

如何使用riscv-tests进行rv指令集测试

#RISC-V #测试

2023

3 篇文章

Chisel 函数式 Examples

#Chisel #函数式编程

配置Windows+vscode+chisel环境

#Chisel #VSCode #配置

Rust与FFI的集成

2022

1 篇文章

Chisel学习项目

#Chisel #学习