【数字电路】MacBook使用iverilog进行数字电路仿真

2023-12-16 07:28

本文主要是介绍【数字电路】MacBook使用iverilog进行数字电路仿真,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

安装流程

在终端中用brew包管理工具进行安装仿真工具:

编译verilog代码:
brew install icarus-verilog编译verilog代码:
brew install verilatorMacOS系统显示UNIX GUI
brew install xquartz可视化仿真波形图:
brew install gtkwave

安装过程中可能出现如下报错:

Error: icarus-verilog: unknown or unsupported macOS version: :dunno

解决方案:升级brew工具

brew update-reset

代码编写

编写verilog文件test.v

module test (input clk,output dout
);assign dout = ~clk;
endmodule

这个verilog代码表达的是输出信号dout是输入信号clk取反的值。

编写testbench文件test_tb.v

/*incentive document
*/
`timescale 1ns / 1ns
module testbench();reg clk;/* define the wire below */wire dout;parameter CYCLE    = 2;parameter END_TIME = 200;/* init the module below */test mod(.clk    (clk),.dout   (dout));/***************************************************/initial begin            $dumpfile("wave.vcd");      //生成的vcd文件名称$dumpvars(0, testbench);    //tb模块名称end 
/***************************************************//* init the state */initial beginclk = 0;end
/***************************************************//* generate clock */always begin#(CYCLE / 2) clk = ~clk;end
/***************************************************//* stop the simulation */initial begin#END_TIME;$stop;endendmodule

注意,一定要有如下模块才能生成波形文件:

    initial begin            $dumpfile("wave.vcd");      //生成的vcd文件名称$dumpvars(0, testbench);    //tb模块名称end 

编译仿真

verilog文件编译:

iverilog -o wave test.v test_tb.v

生成vcd文件:

vvp -n wave

这里的-n是让testbench在执行完测试流程之后自动结束,也可以不在执行命令这里使用-n,而通过在testbench文件的initial块中添加$finish命令来结束。

在这里插入图片描述

用gtkwave工具打开vcd波形:

gtkwave wave.vcd
或
open wave.vcd

但是我的MacOS系统版本高于14,所以gtkwave工具不兼容,因此可以使用vscode的wavetrace插件可视化波形图。
在这里插入图片描述

在这里插入图片描述

在这里插入图片描述
从波形图可知,dout=~clk这个逻辑满足,仿真完成。

另外,编译过程可以写进shell脚本(complier.sh)一步完成:

echo "开始编译"
iverilog -o wave ./test.v ./test_tb.v
echo "编译完成"echo "生成波形文件"
vvp -n wave
cp wave.vcd wave.lxtecho "打开波形文件"
open wave.vcd

执行脚本:

bash ./compiler.sh

在vscode中安装Verilog-HDL插件,可以实现Highlight(代码高亮)、Liting(代码查错)、Ctag等功能。
在这里插入图片描述

在这里插入图片描述

这篇关于【数字电路】MacBook使用iverilog进行数字电路仿真的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/499633

相关文章

Python使用Tenacity一行代码实现自动重试详解

《Python使用Tenacity一行代码实现自动重试详解》tenacity是一个专为Python设计的通用重试库,它的核心理念就是用简单、清晰的方式,为任何可能失败的操作添加重试能力,下面我们就来看... 目录一切始于一个简单的 API 调用Tenacity 入门:一行代码实现优雅重试精细控制:让重试按我

MySQL中EXISTS与IN用法使用与对比分析

《MySQL中EXISTS与IN用法使用与对比分析》在MySQL中,EXISTS和IN都用于子查询中根据另一个查询的结果来过滤主查询的记录,本文将基于工作原理、效率和应用场景进行全面对比... 目录一、基本用法详解1. IN 运算符2. EXISTS 运算符二、EXISTS 与 IN 的选择策略三、性能对比

使用Python构建智能BAT文件生成器的完美解决方案

《使用Python构建智能BAT文件生成器的完美解决方案》这篇文章主要为大家详细介绍了如何使用wxPython构建一个智能的BAT文件生成器,它不仅能够为Python脚本生成启动脚本,还提供了完整的文... 目录引言运行效果图项目背景与需求分析核心需求技术选型核心功能实现1. 数据库设计2. 界面布局设计3

使用IDEA部署Docker应用指南分享

《使用IDEA部署Docker应用指南分享》本文介绍了使用IDEA部署Docker应用的四步流程:创建Dockerfile、配置IDEADocker连接、设置运行调试环境、构建运行镜像,并强调需准备本... 目录一、创建 dockerfile 配置文件二、配置 IDEA 的 Docker 连接三、配置 Do

Android Paging 分页加载库使用实践

《AndroidPaging分页加载库使用实践》AndroidPaging库是Jetpack组件的一部分,它提供了一套完整的解决方案来处理大型数据集的分页加载,本文将深入探讨Paging库... 目录前言一、Paging 库概述二、Paging 3 核心组件1. PagingSource2. Pager3.

Python进行JSON和Excel文件转换处理指南

《Python进行JSON和Excel文件转换处理指南》在数据交换与系统集成中,JSON与Excel是两种极为常见的数据格式,本文将介绍如何使用Python实现将JSON转换为格式化的Excel文件,... 目录将 jsON 导入为格式化 Excel将 Excel 导出为结构化 JSON处理嵌套 JSON:

python使用try函数详解

《python使用try函数详解》Pythontry语句用于异常处理,支持捕获特定/多种异常、else/final子句确保资源释放,结合with语句自动清理,可自定义异常及嵌套结构,灵活应对错误场景... 目录try 函数的基本语法捕获特定异常捕获多个异常使用 else 子句使用 finally 子句捕获所

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

Python对接支付宝支付之使用AliPay实现的详细操作指南

《Python对接支付宝支付之使用AliPay实现的详细操作指南》支付宝没有提供PythonSDK,但是强大的github就有提供python-alipay-sdk,封装里很多复杂操作,使用这个我们就... 目录一、引言二、准备工作2.1 支付宝开放平台入驻与应用创建2.2 密钥生成与配置2.3 安装ali

C#中lock关键字的使用小结

《C#中lock关键字的使用小结》在C#中,lock关键字用于确保当一个线程位于给定实例的代码块中时,其他线程无法访问同一实例的该代码块,下面就来介绍一下lock关键字的使用... 目录使用方式工作原理注意事项示例代码为什么不能lock值类型在C#中,lock关键字用于确保当一个线程位于给定实例的代码块中时