尧图网络 高端网站定制 · 原创设计
免费咨询热线
400-888-6620
免费获取方案
AIV — Verilog/SystemVerilog代码及集成自动化辅助工具
AIV — Verilog/SystemVerilog代码及集成自动化辅助工具AIV Automated Integration for Verilog/SystemVerilog是面向数字 IC 和 FPGA 开发工程师的 HDL 集成辅助工具用于快速创建文件、例化模块、管理顶层端口与内部信号以及检查子模块接口变化。AIV 可以减少复制端口、补写连接、维护声明和跟踪接口变化等重复工作提高多文件工程的集成效率。AIV 只修改受控区域内的内容不能替代编译器、lint、仿真和代码审查。项目地址https://gitee.com/funnydigitalworld/aiv运行模式AIV 在终端中运行支持两种使用方式直接执行单条命令例如aiv update执行aiv tui进入交互式终端。主要功能aiv new根据模板创建 Verilog/SystemVerilog 文件aiv add读取子模块接口生成受控实例、参数覆盖和端口连接aiv del删除受控模块实例并可清理不再使用的信号aiv update更新当前文件中的顶层端口、内部信号和实例连接aiv check重新读取子模块检查实例中已经失效的端口aiv log维护 HDL 文件中的变更日志aiv list列出受控实例或模块端口--diff生成候选文件便于在写回前审阅修改。工具安装Windows下载发布包并解压https://gitee.com/funnydigitalworld/aiv/tree/master/dist启动Windows Power Shell用户也可以将aiv.exe发送到桌面快捷方式在快捷方式的属性的目标增加tui参数之后每次双击快捷方式就可以启动。Linux下载发布包并解压https://gitee.com/funnydigitalworld/aiv/tree/master/dist快速开始1. 初始化工程aiv cfgaiv cfg创建.aiv.toml和工程模板目录。建议在工程根目录执行。2. 创建文件aiv new top.sv该命令根据目标后缀选择模板并创建top.sv。3. 添加子模块aiv add top.sv--file rtl/counter.sv该命令在top.sv中添加一个counter.sv的实例化。如果希望子模块端口自动穿透到顶层使用--auto-io选项aiv add top.sv--file rtl/counter.sv--auto-io如果希望子模块端口保持悬空使用默认的--none-io模式aiv add top.sv--file rtl/counter.sv--none-io如果子模块文件中包含多个module或interface使用--module选择要实例化的对象aiv add--file rtl/blocks.sv--module counter4. 更新当前文件aiv updateupdate根据当前文件中的命令、声明和实例控制属性更新顶层端口、内部信号及实例连接。它不会重新读取子模块文件。如果需要对当前模块的未声明变量进行自动声明时使用–auto-var参数aiv update top.sv--auto-var如果希望先审阅生成结果并手动合入时aiv update top.sv--diff5. 检查子模块接口aiv checkcheck根据实例保存的子模块路径、模块名、参数和预处理上下文重新读取子模块并报告实例中已经不存在的端口。如果需要删除过期端口连接aiv check top.sv--remove-stale如果先通过候选文件审阅删除结果aiv check top.sv--remove-stale--diff常用命令命令说明aiv cfg初始化工程配置和模板目录aiv set修改工程级或用户级配置aiv new从模板创建 HDL 文件aiv add添加受控模块或 interface 实例aiv del删除受控实例aiv update更新当前文件中的受控声明和连接aiv check检查子模块接口变化aiv log添加 HDL 文件变更日志aiv list列出受控实例或模块端口aiv format规范化受控内容的排版aiv doctor检查当前运行环境和工程目录aiv tui进入交互式 AIV 终端查看完整语法aiv--help aiv add--help aiv update--help aiv check--help推荐阅读快速开始工程与配置创建 HDL 文件受控区域与编辑边界添加模块实例更新当前文件检查子模块接口其他工程命令典型工作流需要快速查找语法时请直接阅读命令参考配置参考生成内容与控制标记反馈与交流EMAIL: funnydigitalworldoutlook.com
RELATED

相关推荐

2026年SMT贴片厂家怎么承接打样与批量生产?

2026年SMT贴片厂家怎么承接打样与批量生产?

企业开发电子产品时,PCB设计完成后,通常需要寻找SMT贴片厂家完成样板、试产以及后续批量生产。实际生产过程中,客户关注的不只是“能不能贴片”,还包括工程资料确认、锡膏印刷、元件贴装、回流焊、SPI、AOI,以及0201、…

📅 2026/9/18 5:40:31
【C++ 工具分享】监控录像筛选工具,识别静态无运动视频,生成整理 + 还原 BAT 脚本,断点续传

【C++ 工具分享】监控录像筛选工具,识别静态无运动视频,生成整理 + 还原 BAT 脚本,断点续传

前言家里小米摄像头会持续录制视频,日积月累产生大量 MP4 文件。很多时间段画面完全静止,没有人和物体活动,白白占用大量磁盘空间。市面上视频剪辑软件只能手动打开一个个看,批量筛选监控录像的工具比较少。于是用 C OpenCV FFm…

📅 2026/10/8 1:01:43
【单片机课设毕设项目】基于 51/STM32 单片机的多指标水质检测设备设计与实现 单片机水环境传感器采集与手动自动双模式报警系统设计(018104)

【单片机课设毕设项目】基于 51/STM32 单片机的多指标水质检测设备设计与实现 单片机水环境传感器采集与手动自动双模式报警系统设计(018104)

博主介绍:✌️码农一枚 ,专注于大学生项目实战开发、讲解和毕业🚢文撰写修改等。全栈领域优质创作者,博客之星、掘金/华为云/阿里云/InfoQ等平台优质作者、专注于嵌入式单片机,Java、小程序技术领域和毕业项目实战 ✌️…

📅 2026/10/12 9:41:05
MORE NEWS

更多资讯

📰

常熟电工证好考吗现在怎么报名

常熟电工证好考吗现在怎么报名 你是不是也担心, 学历不高怕报不上名 ?常熟电工证虽然听起来门槛不高,但其实也藏着不少细节,特别是现在新规频出、政策收紧,很多人都在问:常熟电工证好考吗现在?怎么报名?今天我们就从濮阳一位转岗从业者的角度出发,…

📰

永康考电工证在哪里 内部消息教你避坑

永康考电工证在哪里 内部消息教你避坑 你是不是也这样,拿着手机搜“永康考电工证在哪里”,结果一打开全是各种培训机构的广告,让人分不清哪个靠谱,哪个是坑?别急,我来告诉你一个 内部消息…

📰

贵阳北电工证怎么考才不挂科?2026河南最新政策告诉你实操重点

贵阳北电工证怎么考才不挂科?2026河南最新政策告诉你实操重点 实操考试心里没底怕挂科?贵阳北电工证的小伙伴都在问这个问题。特别是2026年河南最新政策出台后,很多考生发现考试内容、报名条件甚至考试方式都发生了变化,如果不提前了解,真的容易…

📰

高压电工证零基础学习到期换证流程网上查询全攻略

高压电工证零基础学习到期换证流程网上查询全攻略 之前考的证在外省能不能转过来?这是很多已经持证的电工朋友关心的问题。特别是像你这样的济源在职建筑工人,很多在外地打工,考的证是外省的,回老家后担心不能继续使用。别急,今天就从…

📰

日本电工证培训费用网上查询指南:证书过期了不知道怎么复审延期

日本电工证培训费用网上查询指南:证书过期了不知道怎么复审延期 证书过期了不知道怎么复审延期,这个问题不少特种作业操作证持证人遇到过。尤其是在当前行业监管日益严格的背景下,证书的有效期和复审流程成为不少人的痛点。如果你正为【日本电工证培训费用…

📰

电工证怎么看编号查询 郑州报考避坑指南:学历不高怕报不上名?这几点你得知道

电工证怎么看编号查询 郑州报考避坑指南:学历不高怕报不上名?这几点你得知道 你学历不高,担心自己报不上名?其实特种作业操作证考试对学历要求并不高,但你需要知道的是, 电工证怎么看编号查询…

TODAY

今日更新

THIS WEEK

本周精选

THIS MONTH

本月热门

读完文章,想聊聊您的网站?

告诉我们您的行业与需求,资深顾问一对一梳理方案与报价,全程免费。

📞 💬