| 名称(name) | Verilog 可综合性与编码规范检查器 |
|---|---|
| 简介(displayDescription) | 检查 Verilog RTL 的可综合性与编码规范,扫描不可综合构造、时钟/复位风格违规、阻塞与非阻塞赋值混用、推断锁存器、多驱动等常见错误,并可调用 verilator/iverilog 实跑做编译闭环校验。适用于写完 RTL 自查、CI 门禁、作业批改、FPGA 教材代码入库前三关验证。 |
| 分类(categories) | 开发工具 |
| 累计使用人次 | 48 |
| 最后更新(created_at) | 2026-09-23 |
| 版本(version) | 1.0.0 |
| 日期 | 累计使用人次 | 24h增量 |
|---|---|---|
| 2026-10-19 | 48 | 0 |
| 2026-10-18 | 48 | +3 |
| 2026-10-17 | 45 | +3 |
| 2026-10-16 | 42 | +33 |
| 2026-10-09 | 9 | +3 |
| 2026-10-08 | 6 | +1 |
| 2026-10-07 | 5 | +3 |
| 2026-10-06 | 2 | 0 |
| 2026-10-05 | 2 | 0 |
| 2026-10-04 | 2 | 0 |
| 2026-10-03 | 2 | 0 |
| 2026-10-02 | 2 | 0 |
| 2026-10-01 | 2 | 0 |
| 2026-09-30 | 2 | 0 |
| 2026-09-29 | 2 | +2 |
| 2026-09-28 | 0 | 0 |
| 2026-09-27 | 0 | 0 |
| 2026-09-26 | 0 | 0 |
| 2026-09-25 | 0 | 0 |
| 2026-09-24 | 0 | 0 |
| 2026-09-23 | 0 | — |
| 排行 | 职称 | 使用人次 | 操作 |
|---|---|---|---|
| 1 | FFlutter编码规范 规则校验 开发辅助 | 12 | 对比 |
| 2 | GGo编码规范 工程实践 代码审查 | 33 | 对比 |
| 3 | 编编码规范 规则速查 重构指引 | 72 | 对比 |
| 4 | CC++ 编码规范 | 66 | 对比 |
| 5 | JJava 编码规范 | 29 | 对比 |
| 6 | 编编码规范 | 9 | 对比 |
| 7 | SSolidity 编码规范与 Gas 优化助手 | 1 | 对比 |
| 8 | 降降额符合性批量检查器 | 3 | 对比 |