芯片AI深度实战:进阶篇之vim内verilog实时自定义检视
【痛点】
传统Verilog开发中,工程师不断"编码→仿真→查错"的循环。本文整合AST解析与Vim编辑器,在编码阶段即实现:
✔️ 自动标记逻辑问题
✔️ AI+ 发现涉及多模块逻辑错误
✔️ 强制代码风格
【解决方案】
1️⃣ 基于AST的精准模式匹配
- 深度集成ast-grep与coc.nvim
- 可视化错误标注
2️⃣ 开箱即用的开发环境
- my-language.so高性能解析器
- 支持Verilog/SystemVerilog
【基础环境】
1️⃣ vim + coc.nvim
- 安装
git clone https://github.com/neoclide/coc.nvim.git ~/.vim/pack/others/start/ast-grep
- ~/.vimrc 配置
:filetype on
" https://raw.githubusercontent.com/neoclide/coc.nvim/master/doc/coc-example-config.vim“可能需要 Vim(不是 Neovim),因为 coc.nvim 通过计数计算字节偏移量 ” utf-8 字节序列 set encoding=utf-8 “某些服务器的备份文件存在问题,请参阅#649 set nobackup set nowritebackup“更新时间过长(默认为 4000 毫秒 = 4 秒)会导致明显的 ”延迟和糟糕的用户体验 set updatetime=300“始终显示符号列,否则每次都会移动文本 ”诊断出现/得到解决 set signcolumn=yes
2️⃣ ast-grep
- 安装
pip install ast-grep-cli
sg --version 查看是否成功
【订阅即得】
👉 文末附my-language.so下载链接(百度网盘)
本文基于Editor Integration | ast-grep,以及coc.nvim,并基于以下verilog parser(my-language.so,文末下载链接), 可以在vim中实时显示自定义的verilog 匹配。效果图如下:

这个标记来自一个id为‘b‘的rule。它寻找always块。 rule在rules/x.yml中定义。
当然可以定义更复杂的规则。
除了rules,再设置sgconfig.yml以支持自定义的verilog语言。其中就要用到这个my-language.so库,库已经编好。开箱即用。
coc.nvim的设定中,也就是coc-settings.json中应该把ast-grep设置为lsp。这样vim内就可以实时的检查ast-grep定义的规则!
需要的配置如下:

大模型火了之后,有非常多的LLM 代码生成,编辑,和普通对话的开源vim/neovim插件,下面列了一下github上几乎所有的了。
但是,并不是各个都好用。其实star多的就那么几个,为什么呢,
从aider, cursor这些火的软件大概可以看出端倪。这两个软件都利用了AST来indexing或者map codebase。
这也是ast重要性的体现。
下面是aider的支持的语言列表,对verilog默认是不支持的。。
Supported languages | aider
如何添加对其他语言的支持
Aider 应该可以很好地支持其他语言,即使那些没有 repo map 或 linter 支持的语言也是如此。在假设它需要更好地支持您的语言之前,您应该尝试使用 aider 进行编码。
也就是说,如果 aider 已经支持对您的语言进行 linting,那么应该可以添加 repo map 支持。要构建 repo map,aider 需要给定语言的 tree-sitter 语法中的 tags.scm 文件。如果您可以在 GitHub 问题中找到并共享该文件,那么可能可以添加 repo map 支持。
相关文章:
芯片AI深度实战:进阶篇之vim内verilog实时自定义检视
【痛点】 传统Verilog开发中,工程师不断"编码→仿真→查错"的循环。本文整合AST解析与Vim编辑器,在编码阶段即实现: ✔️ 自动标记逻辑问题 ✔️ AI+ 发现涉及多模块逻辑错误 ✔️ 强制代码风格 【解决方案】 1️⃣ 基于AST的精准模式匹配 - 深度集成…...
数据结构实战之线性表(一)
一.线性表的定义和特点 线性表的定义 线性表是一种数据结构,它包含了一系列具有相同特性的数据元素,数据元素之间存在着顺序关系。例如,26个英文字母的字符表 ( (A, B, C, ....., Z) ) 就是一个线性表,其中每个字母就是一个数据…...
jdk8项目升级到jdk17——岁月云实战
由于很早之前就升级springboot版本到2.7.9,以前做好了铺垫,相对升级要容易一些。 1 项目打包成exe 1.1 jpackage打包jar C:\Users\39305\Desktop\数量核对>jpackage ^ More? --type exe ^ More? --name zp-server ^ More? --input C:\Use…...
商品列表及商品详情展示
前言 本文将展示一段结合 HTML、CSS 和 JavaScript 的代码,实现了一个简单的商品展示页面及商品详情,涵盖数据获取、渲染、搜索及排序等功能。 效果展示 点击不同的商品会展示对应的商品详情。 代码部分 代码总体实现 <!DOCTYPE html> <htm…...
使用where子句筛选记录
默认情况下,SearchCursor将返回一个表或要素类的所有行.然而在很多情况下,常常需要某些条件来限制返回行数. 操作方法: 1.打开IDLE,加载先前编写的SearchCursor.py脚本 2.添加where子句,更新SearchCursor()函数,查找记录中有<>文本的<>字段 with arcpy.da.Searc…...
SQL Server查询计划操作符(7.3)——查询计划相关操作符(5)
7.3. 查询计划相关操作符 38)Flow Distinct:该操作符扫描其输入并对其去重。该操作符从其输入得到每行数据时即将其返回(除非其为重复数据行,此时,该数据行会被抛弃),而Distinct操作符在产生任何输出前将消费所有输入。该操作符为逻辑操作符。该操作符具体如图7.2-38中…...
C++中常用的十大排序方法之4——希尔排序
成长路上不孤单😊😊😊😊😊😊 【😊///计算机爱好者😊///持续分享所学😊///如有需要欢迎收藏转发///😊】 今日分享关于C中常用的排序方法之4——希尔排序的相…...
扶摇计划--从失业的寒冬,慢慢的走出来
作为资深 Java 开发工程师,你有丰富的技术经验和解决问题的能力,即使暂时失业,也可以通过多种方式赚取收入。以下是结合你的技能和市场需求的具体建议,分阶段规划实现: 第一阶段:快速变现(短期,1-3个月) 自由职业与远程工作 平台接单:在 Upwork、Freelancer 或国内平…...
unity学习24:场景scene相关生成,加载,卸载,加载进度,异步加载场景等
目录 1 场景数量 SceneManager.sceneCount 2 直接代码生成新场景 SceneManager.CreateScene 3 场景的加载 3.1 用代码加载场景,仍然build setting里先加入配置 3.2 卸载场景 SceneManager.UnloadSceneAsync(); 3.3 同步加载场景 SceneManager.LoadScene 3.3.…...
[cg] 使用snapgragon 对UE5.3抓帧
最近想要抓opengl 的api,renderdoc在起应用时会闪退(具体原因还不知道),试了下snapgraon, 还是可以的 官网需要注册登录后下载,官网路径:Developer | Qualcomm 为了方便贴上已经下载好的exe安装包&#x…...
一元函数微积分的几何应用:二维平面光滑曲线的曲率公式
文章目录 前言曲率和曲率半径的定义曲率计算公式参数方程形式直角坐标显式方程形式极坐标形式向量形式 前言 本文将介绍二维平面光滑曲线的曲率定义以及不同形式的曲率及曲率半径公式的推导。 曲率和曲率半径的定义 (关于二维平面光滑曲线的定义以及弧长公式请参…...
ISBN 号码——蓝桥杯
1.题目描述 每一本正式出版的图书都有一个 ISBN 号码与之对应,ISBN 码包括 9 位数字、1 位识别码和 3 位分隔符,其规定格式如 “x-xxx-xxxxx-x”,其中符号“-”是分隔符(键盘上的减号),最后一位是识别码&a…...
Spring Boot - 数据库集成06 - 集成ElasticSearch
Spring boot 集成 ElasticSearch 文章目录 Spring boot 集成 ElasticSearch一:前置工作1:项目搭建和依赖导入2:客户端连接相关构建3:实体类相关注解配置说明 二:客户端client相关操作说明1:检索流程1.1&…...
51单片机CLD1602显示万年历+闹钟+农历+整点报时
1. 硬件设计 硬件是我自己设计的一个通用的51单片机开发平台,可以根据需要自行焊接模块,这是用立创EDA画的一个双层PCB板,所以模块都是插针式,不是表贴的。电路原理图在文末的链接里,PCB图暂时不选择开源。 B站上传的…...
C++ 中的类(class)和对象(object)
在 C 中,类(class)和对象(object)是面向对象编程(OOP)的核心概念。类是一种用户自定义的数据类型,它将数据(成员变量)和操作这些数据的函数(成员函…...
安卓通过网络获取位置的方法
一 方法介绍 1. 基本权限设置 首先需要在 AndroidManifest.xml 中添加必要权限: xml <uses-permission android:name"android.permission.INTERNET" /> <uses-permission android:name"android.permission.ACCESS_NETWORK_STATE" /&g…...
2025 年,链上固定收益领域迈向新时代
“基于期限的债券市场崛起与 Secured Finance 的坚定承诺” 2025年,传统资产——尤其是股票和债券——大规模涌入区块链的浪潮将创造历史。BlackRock 首席执行官 Larry Fink 近期在彭博直播中表示,代币化股票和债券将逐步融入链上生态,将进一…...
npm启动前端项目时报错(vue) error:0308010C:digital envelope routines::unsupported
vue 启动项目时,npm run serve 报下面的错: error:0308010C:digital envelope routines::unsupported at new Hash (node:internal/crypto/hash:67:19) at Object.createHash (node:crypto:133:10) at FSReqCallback.readFileAfterClose [as on…...
11.QT控件:输入类控件
1. Line Edit(单行输入框) QLineEdit表示单行输入框,用来输入一段文本,但是不能换行。 核心属性: 核心信号: 2. Text Edit(多行输入框) QTextEdit表示多行输入框,也是一个富文本 & markdown编辑器。并且能在内容超…...
deepseek核心技术:MLA架构-多头潜在注意力
deepseek核心技术:MLA架构-多头潜在注意力 MLA架构即Multi-Head Latent Attention(多头潜在注意力)架构,是一种优化后的注意力机制。以下是对其及相关示例的具体介绍: 工作原理 输入嵌入:将输入序列中的每个元素转换为向量表示,即嵌入向量。例如在处理文本时,将文本中…...
别再只盯着top命令了!用sysdig揪出Linux服务器上伪装成log、ntools的xmrig挖矿木马
深度追踪:用sysdig揪出Linux服务器上伪装成log、ntools的xmrig挖矿木马 当服务器CPU突然飙高,而top命令却显示一切正常时,作为运维工程师的你一定知道事情没那么简单。最近,一种新型的xmrig挖矿木马正在Linux服务器上肆虐…...
抖音弹幕抓取终极指南:如何利用系统代理技术实现免费数据监听
抖音弹幕抓取终极指南:如何利用系统代理技术实现免费数据监听 【免费下载链接】DouyinBarrageGrab 基于系统代理的抖音弹幕wss抓取程序,能够获取所有数据来源,包括chrome,抖音直播伴侣等,可进行进程过滤 项目地址: h…...
阿里云服务器+域名备案全流程避坑指南(附小程序开发必备配置)
阿里云服务器与域名备案实战指南:从小程序开发到前后端部署全解析 第一次在阿里云上配置服务器并完成域名备案的经历,就像新手司机独自上高速——既兴奋又忐忑。记得去年我们团队开发校园服务小程序时,原本计划两周完成的服务器部署ÿ…...
六自由度机械臂逆解入门:当你的机械手‘知道’位置,如何反推关节角度?
六自由度机械臂逆解入门:从末端位姿反推关节角度的实战指南 当你第一次让机械臂抓取桌上的水杯时,可能会遇到一个令人困惑的问题:明明知道杯子在三维空间中的精确位置和朝向,却不知道该如何设置六个关节的旋转角度。这就是逆运动学…...
3步掌握RISC-V处理器仿真:可视化工具Ripes完全指南
3步掌握RISC-V处理器仿真:可视化工具Ripes完全指南 【免费下载链接】Ripes A graphical processor simulator and assembly editor for the RISC-V ISA 项目地址: https://gitcode.com/gh_mirrors/ri/Ripes 想要深入理解计算机底层运行机制却苦于硬件门槛太高…...
Alias Method:游戏掉落系统的O(1)采样优化实践
1. 游戏掉落系统的随机采样困境 每个游戏开发者都会遇到这样的场景:当玩家击败怪物时,系统需要根据预设概率随机掉落物品。比如某Boss的掉落表可能是:传说武器(1%)、史诗装备(5%)、稀有材料&…...
为机械臂视觉抓取做准备:在Ubuntu 18.04上配置ROS+YOLOv5运行环境的完整避坑清单
为机械臂视觉抓取做准备:在Ubuntu 18.04上配置ROSYOLOv5运行环境的完整避坑清单 当机械臂遇上YOLOv5,视觉抓取的能力边界将被重新定义。但在这之前,开发者需要跨越环境配置的"死亡之谷"——特别是当Ubuntu 18.04、ROS Melodic和PyT…...
科哥定制版Z-Image-Turbo体验:中文提示词友好,AI绘画小白也能玩转
科哥定制版Z-Image-Turbo体验:中文提示词友好,AI绘画小白也能玩转 1. 为什么选择科哥定制版Z-Image-Turbo 作为一名长期使用各类AI绘画工具的设计师,我发现科哥定制版的Z-Image-Turbo在中文提示词理解和生成效果上有着显著优势。这个版本基…...
OneButton库详解:嵌入式单按键多态交互设计与实现
1. OneButton 库深度解析:面向嵌入式系统的单按钮多态交互设计与工程实现1.1 库定位与工程价值OneButton 是一个轻量级、无依赖的 Arduino 兼容库,专为解决嵌入式系统中单物理按键承载多重用户意图这一经典工程难题而设计。在资源受限的 MCU(…...
告别重复造轮子:用快马平台高效生成ibbot机器人的通用功能模块
作为一名经常需要开发聊天机器人的开发者,我最近在做一个餐厅订座助手的项目时,发现了一个能大幅提升效率的好方法。今天就来分享一下如何利用InsCode(快马)平台快速生成ibbot的核心功能模块,避免重复造轮子的痛苦经历。 用户意图识别模块的…...
