h-jr.me
博客
标签
札记
项目
Toggle theme
博客
第 1 页
2025
一路顺风
深夜顺风车的奇遇。
h
hongjr03
2025年11月2日
5 分钟
碎片
经验贴｜末九17%上岸南大计院
推免的推是薛西弗斯推着上山巨石的推。
h
hongjr03
2025年9月25日
23 分钟
保研
经验贴
Frama-C WP Tutorial | 函数契约
学习用 Frama-C 和 WP 证明程序。
h
hongjr03
2025年7月6日
2 分钟
Frama-C
SOP 和 POS
最小项之和与最大项之积
h
hongjr03
2025年7月5日
1 分钟
Verilog
数字逻辑
Verilog 打砖块游戏
以 Breakout 为例分析 FPGA 设计
h
hongjr03
2025年7月5日
2 分钟
Verilog
Verilog 基础语法
Verilog 基础语法
h
hongjr03
2025年6月12日
6 分钟
Verilog
上一页
1
2
3
下一页
