每日 每周 每月
2026-02-08
返回报告
🏷️

#formal 每日趋势报告

📅 2026-02-08
📊 1 个项目

🔥 #formal 每日热门项目

ucb-bar/chiseltest

Scala

面向Chisel设计RTL的全功能测试与形式验证库

chisel formal testing
ucb-bar
ucb-bar 开发者
233
74
87
排名 #4
2月8日
查看详情

📊 数据统计

1 个热门项目
2026-02-08 数据日期

🔥 TrendForge - 追踪开源项目热度，发现技术趋势

助手