当前位置：首页 > news >正文

4. 示例：创建带约束的随机地址生成器（范围0x1000-0xFFFF）

news 来源：原创 2025/9/13 16:03:13

文章目录

前言
代码示例：
运行方法：
查看结果：
关键功能说明：
扩展功能建议：

前言

以下是一个完整的SystemVerilog测试平台示例，包含约束随机地址生成、日志输出和波形生成功能：

代码示例：

// filename: addr_gen_tb.sv
`timescale 1ns/1psmodule addr_gen_tb;// 声明时钟信号logic clk;// 声明随机地址生成类class RandomAddress;rand bit [15:0] addr;// 地址范围约束：0x1000 - 0xFFFFconstraint valid_range {addr inside {[16'h1000:16'hffff]};}endclass// 测试平台变量bit [15:0] current_addr;RandomAddress addr_gen = new();int error_count = 0;// 生成时钟（50MHz）initial beginclk = 0;forever #10 clk = ~clk;end// 波形记录初始化initial begin$dumpfile("waves.fsdb");$dumpvars(0, addr_gen_tb);end// 主测试程序initial begin$display("=== Starting Test ===");repeat (20) begin@(negedge clk);if (!addr_gen.randomize()) begin$error("Randomization failed!");error_count++;endelse begincurrent_addr = addr_gen.addr;$display("[%0t] Generated address: 0x%h", $time, current_addr);// 验证地址范围if (!(current_addr >= 16'h1000 && current_addr <= 16'hffff)) begin$error("Address out of range: 0x%h", current_addr);error_count++;endend#5; // 添加少量延迟用于波形观察end$display("\n=== Test Summary ===");$display("Total errors: %0d", error_count);if (error_count == 0) $display("TEST PASSED");else $display("TEST FAILED");$finish;end
endmodule

运行方法：

使用Synopsys VCS：

vcs -sverilog addr_gen_tb.sv
./simv

使用Cadence Xcelium：

xrun -sv addr_gen_tb.sv

查看结果：

日志输出示例：

=== Starting Test ===Generated address: 0x3a7bGenerated address: 0xf42cGenerated address: 0x8d01
...
=== Test Summary ===
Total errors: 0
TEST PASSED

查看波形（以VCS为例）：

verdi -wave waves.fsdb &

关键功能说明：

随机约束类 RandomAddress：
- 使用rand关键字声明随机变量
- inside约束确保地址在0x1000-0xFFFF之间
测试平台特性：
- 自动生成时钟信号（50MHz）
- 每次生成地址后自动验证范围
- 错误计数和最终测试结果统计
- 详细的时序日志输出（包含时间戳）
波形生成：
- 使用$dumpfile和$dumpvars生成VCD格式波形
- 记录所有层次信号（参数0表示记录所有层次）
验证机制：
- 自动检查随机化成功状态
- 二次验证地址范围
- 错误计数器自动累加

这个示例可以：

生成符合要求的随机地址
自动验证地址有效性
输出带时间戳的详细日志
生成可用于调试的波形文件
提供清晰的测试结果总结

扩展功能建议：

添加覆盖率收集：

xcovergroup addr_cg;xcoverpoint gen.addr {xbins low  = {[16'h1000:16'h7FFF]};xbins high = {[16'h8000:16'hFFFF]};}
xendgroup

在类中实例化覆盖率对象

多约束组合：

constraint even_addr {addr % 2 == 0;  // 生成偶数地址[4](@ref)
}

4. 示例：创建带约束的随机地址生成器（范围0x1000-0xFFFF）

文章目录前言代码示例：运行方法：查看结果：关键功能说明：扩展功能建议： 前言以下是一个完整的SystemVerilog测试平台示例，包含约束随机地址生成、日志输出和波形生成功能： 代码示例&#xff1…...

编程日记 2025/9/13 16:03:13

Dashboard-frps

通过浏览器查看 frp的状态以及代理统计信息展示。注：Dashboard 尚未针对大量的 proxy 数据展示做优化，如果出现 Dashboard 访问较慢的情况，请不要启用此功能。需要在 frps.ini中指定 dashboard服务使用的端口，即可开启此功能&…...

编程日记 2025/9/10 20:14:19

鸿蒙兼容Mapbox地图应用测试

鸿蒙Next已经发布一段时间了，很多之前的移动端地图应用，纷纷都要求适配鸿蒙Next。作为开发者都清楚，所谓的适配其实都是重新开发，鸿蒙的开发语言和纯前端的Javascript不同，也可以Android原始开发的语言不同。鸿蒙自带的…...

编程日记 2025/9/13 6:21:29

PyCharm 的使用 + PyCharm快捷键 + 切换中文界面

2025 - 02 - 27 - 第 62 篇 Author: 郑龙浩 / 仟濹【PyCharm的使用】文章目录如何使用Pycharm1 新建工程，新建 .py 文件，运行2 常用快捷键3 其他快捷键 - DeepSeek 总结如下**代码编辑****导航与定位****查找与替换****运行与调试****代码重构****其…...

编程日记 2025/9/13 15:58:29

Ubuntu下QT安装和调试的常见问题(一)__could_not_dertermine_which_make

前言 Ubuntu下QT的安装会有一些奇怪的问题出现，并没有像Windows下Visual Studio的安装那么直接就可以使用那么方便，本文就“make”挂接的问题，给出一些小的感受。 1、问题的提出很多问题的解答，AI无论是上文心一言，还…...

编程日记 2025/9/13 16:02:12

JAVA面试_进阶部分_Linux面试题

Linux概述 1. 什么是Linux Linux是一套免费使用和自由传播的类Unix操作系统，是一个基于POSIX和Unix 的多用户、多任务、支持多线程和多CPU的操作系统。它能运行主要的Unix工具软件、应用程序和网络协议。它支持32位和64位硬件。Linux继承了Unix以网络为核心的设…...

编程日记 2025/9/13 15:59:16

【深度学习】强化学习（RL）-A3C（Asynchronous Advantage Actor-Critic）

A3C（Asynchronous Advantage Actor-Critic）详解 A3C（Asynchronous Advantage Actor-Critic） 是深度强化学习（Deep Reinforcement Learning, DRL） 领域的重要算法，由 DeepMind 在 2016 年提出。…...

编程日记 2025/9/13 16:01:03

DeepSeek-v1到DeepSeek-v3再到DeepSeek-R1的变迁和进化史，创新点，值得大家学习，DeepSeek系列干货

DeepSeek-v1 1.高质量的数据构建：2T tokens中英文数据集（数据去重、过滤和重混）； 2. 模型架构参考LlaMa； 3.数据并行、张量并行、超参数设置等： 衍生：DeepSeek-Coder、deepseek MoE、DeepSe…...

编程日记 2025/9/13 16:00:25

基于多层感知机(MLP)实现MNIST手写体识别

实现步骤下载数据集处理好数据集确定好模型（初始化模型参数等等）确定优化函数（损失函数也称为目标函数）和优化方法（一般选用随机梯度下降 SDG ）进行模型的训练进行模型的评估 import torch import torch…...

编程日记 2025/9/8 7:48:45

windows下安装pyenv+virtualenv+virtualenvwrapper

1、下载pyenv 进入git官网，打包下载zip到本地 2、解压到安装目录解压下载好的pyenv-win-master.zip到自己的安装目录，如D:\Program Files 3、配置环境变量右击桌面此电脑 --> 属性 --> 高端系统设置 --> 环境变量 --> 新建系统变量…...

编程日记 2025/9/9 5:56:51

常规需求 C#程序只能运行一次,不能多开: using System; using System.Collections.Generic; using System.Linq; using System.Windows.Forms; using System.Threading; using System.Runtime.InteropServices; using System.Security.Principal; namespace BallLocation {sta…...

编程日记 2025/9/13 16:02:14

MySQL 的存储引擎有哪些？它们之间有什么区别？

MySQL 支持多种存储引擎，每种存储引擎都有其独特的特性和适用场景。以下是 MySQL 中常见的存储引擎及其主要区别： 1.常见存储引擎及其特点 (1)InnoDB • 事务支持：支持完整的 ACID 特性，适用于需要事务处理的场景。 • 锁机制&…...

编程日记 2025/9/13 16:02:13

大语言模型的评测

大语言模型评测是评估这些模型在各种任务和场景下的性能和能力的过程。能力 1. 基准测试（Benchmarking） GLUE（General Language Understanding Evaluation）：包含多个自然语言处理任务，如文本分类、情感分…...

编程日记 2025/9/13 16:01:05

《从零到全栈：Vue2入门宝典》

1. Vue 简介 1.1 什么是 Vue？ Vue 是一套用于构建用户界面的渐进式框架。Vue 的核心库专注于视图层，易于与其他库或现有项目集成。Vue 的目标是通过尽可能简单的 API 实现数据双向绑定和组件化开发。 1.2 什么是“渐进式”？ “渐进式”意味…...

编程日记 2025/9/7 16:37:32

next.js-学习3

next.js-学习3 6. 设置数据库1. 传代码到github https://github.com/2. github和Vercel链接，用Vercel预览和部署3. 创建数据库4. 初始化数据库 7.读取数据1. 在/app/lib/data.ts中这两行是连接postgres的2. 在/app/dashboard/page.tsx中使用3.在/app/dashboard/page…...

编程日记 2025/9/13 16:00:25

Hadoop第2课（伪分布式集群的搭建）

jdk和hadoop安装包： hadoop-2.9.2.t......等2个文件官方版下载丨最新版下载丨绿色版下载丨APP下载-123云盘 1、用XFTP发送hadoop安装包和jdk到/home/hadoop/目录下（hadoop用户的主目录） 2、解压jdk安装包到~目录卸载jdk的命令：r…...

编程日记 2025/9/12 22:29:32

Linux——进程池

前言：大佬写博客给别人看，菜鸟写博客给自己看，我是菜鸟。 1.实现思路思路：通过创建匿名管道，来实现父子进程之间的通信注1：父写，子读注2：匿名管道只能用来进行具有血管关系的进程…...

编程日记 2025/9/11 8:41:44

JavaScript 简单类型与复杂类型-简单类型的内存分配

深入理解JavaScript中的简单类型（基本数据类型）和复杂类型（引用数据类型）如何在内存中存储对于编写高效、无误的代码至关重要。本文将专注于探讨简单类型的内存分配机制，即栈（Stack）内存&#x…...

编程日记 2025/9/13 16:02:14

深度生成模型（一）——具身智能综述与算法分类简介

具身智能对于机器人的控制可以分为端到端模型和非端到端模型： 端到端模型：具身模型（如 ACT 和 DP）将视觉感知（Vision）与动作生成（Action）整合为单一神经网络，直接实现从…...

编程日记 2025/9/10 20:34:27

Vue 中，使用模板（Template）和 Render 函数编写组件的区别

在 Vue 2 中，模板（Template） 和 Render 函数是两种不同的组件编写方式，它们各有特点和适用场景。以下是它们的核心区别和实际应用场景分析： 1. 基本区别特性模板（Template）Render 函数语法形…...

编程日记 2025/9/12 16:39:50

【笔记】论文阅读方法（AI大模型）

1 为什么读论文构建知识体系：通过Related Works快速了解该方向研究现状，追踪经典论文紧跟前沿技术：了解领域内新技术及效果，快速借鉴到自身项目培养科研逻辑：熟悉论文体系，了解如何创造新事物&#x…...

编程日记 2025/9/8 7:49:13

JWT+redis实现令牌刷新优化方案

令牌刷新优化方案的详细实现步骤： 1. 令牌服务层改造 1.1 JWT工具类增强 // JwtUtils.java 新增方法 public class JwtUtils {// 生成带动态过期时间的令牌public static String createToken(String subject, String userId, String username, long expirationMi…...

编程日记 2025/9/9 19:03:25

安全面试5

文章目录 sql的二次注入在linux下，现在有一个拥有大量ip地址的txt文本文档，但是里面有很多重复的，如何快速去重？在内网渗透中，通过钓鱼邮件获取到主机权限，但是发现内网拦截了tcp的出网流量，聊一…...

编程日记 2025/9/13 16:02:15

vim临时文件泄露

##解题思路感觉ctfshow的题目都挺有意思的，大家可以去做做首先题目提示vim临时文件泄露，一般在vim编辑的时候，会有个swp的中间文件生成，根据这个特性，从而可以猜测，我们可以通过访问一个swp文件路径&am…...

编程日记 2025/8/28 0:10:06

使用Docker将ros1自定义消息通过rosjava_bootstrap生成jar包

文章目录预准备环境rosjava_bootstrap坏消息好消息环境安装docker安装rosjava_bootstrap仓库rosjava_center仓库修改rosjava_bootstrap代码拉取docker镜像放置自己的自定义消息启动docker编译预准备环境 rosjava_bootstrap rosjava_bootstrap是将自定义的ROS消息生成java…...

编程日记 2025/9/10 1:41:34

本地快速搭建一套AI人脸识别技术研究学习的实验环境

如果你想在本地搭建一套学习和研究AI人脸识别技术的框架，建议使用开源工具和框架进行实验，因为它们通常提供了较为丰富的文档和社区支持，能够帮助你深入理解人脸识别的核心原理。以下是一套可行性强且综合性的方案，涵盖了人脸检测…...

编程日记 2025/9/13 16:02:11

SpringBoot项目连接Oracle视图报错整理

在若依框架中增加连接Oracle视图报错工具测试连接通过使用plsql连接数据库测试，连接成功 1. 相关配置内容连接配置 url: jdbc:oracle:thin:192.168.0.210:1521:HIS username: portal_his password: XXXXXX driver-class-name: oracle.jdbc.driver.OracleDr…...

编程日记 2025/9/13 0:14:13

【我的 PWN 学习手札】House of Husk

House of Husk House of Husk是利用格式化输出函数如printf、vprintf在打印输出时，会解析格式化字符如%x、%lld从而调用不同的格式化打印方法（函数）。同时C语言还提供了注册自定义格式化字符的方法。注册自定义格式化字符串输出方法&#xf…...

编程日记 2025/9/7 21:48:21

面试-JVM：JVM的组成及作用

JVM包含两个子系统和两个组件： 两个子系统： 类加载子系统（ClassLoader Subsystem） 作用：根据给定的全限定类名（如：java.long.Object）来装载class文件至运行时数据区的方法区。核心…...

编程日记 2025/9/9 21:38:28

Node.js项目启动流程以及各个模块执行顺序详解

Node.js项目启动流程以及各个模块执行顺序的问题。首先，我需要仔细阅读并理解我搜索到的资料，从中提取关键信息，然后综合这些信息组织成一个结构化的回答。首先，根据我搜索到的资料都详细描述了Node.js的启动流程，涉及…...

编程日记 2025/9/13 1:43:01

obj离线加载（vue+threejs）+apk方式浏览

demo需求：移动端，实现obj本地离线浏览结合需求，利用（vue2threejs173）进行obj的加载，然后采用apk方式（hbuilderX打包发布）移动端浏览； https://github.com/bianbian886/…...

编程日记 2025/9/12 13:01:56

【Python 语法】Python 数据结构

线性结构（Linear Structures）1. 顺序存储列表（List）元组（Tuple）字符串（String） 2. 线性存储栈（Stack）队列（Queue）双端队列&#xff08…...

编程日记 2025/9/11 4:37:33

Flutter - 布局Widget

Flutter的布局主要分为单子组件和多子组件两大类： Container、Padding、Align这些属于单子组件，而Row、Column、ListView这些则是多子组件。单子组件 Align组件 Align 是一个用于控制子组件位置的单子布局组件。它通过指定对齐方式&#xff08…...

编程日记 2025/9/11 12:17:41

AD从原理图到PCB超详细教程

AD超详细教程前言一、建立一个工程模板二、原理图1.设计原理图。2.使用AD自带库和网上开源原理图库3.画原理图库4.编译原理图三、PCB1.确定元器件尺寸大小2.绘制PCB Library①使用元器件向导绘制元件库②原理图与PCB的映射3.绘制PCB①更新PCB②调整元件位置③布线④漏线检查⑤…...

编程日记 2025/9/7 15:54:22

视频级虚拟试衣技术在淘宝的产品化实践

作为一种新的商品表现形态，内容几乎存在于手淘用户动线全流程，例如信息流种草内容、搜索消费决策内容、详情页种草内容等。通过低成本、高时效的AIGC内容生成能力，能够从供给端缓解内容生产成本高的问题，通过源源不断的低成本供给…...

编程日记 2025/9/13 7:26:22

Redis安装及其AnotherRedisDesktopManagera安装使用

一、Redis安装 1. 下载Redis安装包通过网盘分享的文件：Redis 链接: https://pan.baidu.com/s/1elAT8mk3EIoYQQ3WoVVoNg?pwd7yrz 提取码: 7yrz 2. 解压Redis安装包下载完成后，将Redis安装包解压到一个指定的目录，例如：C:\Re…...

编程日记 2025/9/10 3:56:21

2025系统架构师（一考就过）：案例之四：架构复用、架构评估、特定架构（DSSA）、架构开发方法（ABSD）

二、软件架构复用 ◆软件产品线是指一组软件密集型系统，它们共享一个公共的、可管理的特性集，满足某个特定市场或任务的具体需要，是以规定的方式用公共的核心资产集成开发出来的。即围绕核心资产库进行管理复用、集成新的系统。 ◆软件架构…...

编程日记 2025/9/9 3:45:54

软件工程应试复习（考试折磨版）

针对学校软件工程考试，参考教材《软件工程导论（第6版）》1-8章学习的艺术：不断地尝试，我一定会找到高效用的方法，让学习变成一门艺术，从应试备考中解救出我的时间同胞们。好嘞！既然…...

编程日记 2025/9/12 14:36:15

Kafka可视化工具EFAK(Kafka-eagle)安装部署

Kafka Eagle是什么？ Kafka Eagle是一款用于监控和管理Apache Kafka的开源系统，它提供了完善的管理页面，例如Broker详情、性能指标趋势、Topic集合、消费者信息等。源代码地址：https://github.com/smartloli/kafka-eagle 前置条件…...

编程日记 2025/9/12 23:06:02

本地部署SenseVoice（包括离线设备操作）

Anaconda3 Anaconda Installers and Packages SenseVoice 魔搭社区 FFmpeg FFmpeg 安装Anaconda3（Windows） 下载完成后，自定义路径后安装。在开始菜单中出现Anaconda Prompt说明安装成功。安装Anaconda3（Linux&#xff…...

编程日记 2025/9/13 3:24:26

sql server 复制从备份初始化数据

参考 ： 从备份初始化订阅（事务） - SQL Server | Microsoft Learn sql server 复制默认是用快照初始化数据的，也支持从备份初始化数据，参考如上...

编程日记 2025/8/25 20:39:24

MySQL 复合索引

MySQL 复合索引详解引言在实际业务场景中，多条件组合查询是最常见的操作之一。例如，根据“用户ID 时间范围”查询订单，或根据“商品分类价格区间”筛选商品。此时，单列索引可能无法满足性能需求，而**复合索引&am…...

编程日记 2025/9/12 11:16:07

蓝桥杯备赛（C/C++组）

README： 本笔记是自己的备考笔记，按照官网提纲进行复习！适合有基础，复习用。一、总考点试题考查选手解决实际问题的能力，对于结果填空题，选手可以使用手算、软件、编程等方法解决，对于编程大…...

编程日记 2025/9/6 15:34:22

人类驾驶的人脑两种判断模式（反射和预判）--＞自动驾驶两种AI模式

一种模式是直觉模式，判断是基于条件反射，视觉感知触发到直接条件反射（从经历中沉淀形成的神经信息闭环），类似现在自动驾驶技术的传统AI模式。另一种模式是物理时空图式推理模式，判断是基于预判预测&…...

编程日记 2025/9/11 11:05:58

C语言机试编程题

编写版本：vc2022 1.求最大/小值 #include<stdio.h> int main(){int a[50],n;int max, min;printf("请输入您要输入几个数");scanf_s("%d", &n);printf("请输入您要比较的%d个数\n",n);for (int i 0; i<n; i) {scanf_…...

编程日记 2025/9/11 13:59:19

SmartMediakit之音视频直播技术的极致体验与广泛应用

引言在数字化时代，音视频直播技术已经深入到各个行业和领域，成为信息传递和交流的重要手段。视沃科技自2015年成立以来，一直致力于为传统行业提供极致体验的音视频直播技术解决方案，其旗下的大牛直播SDK凭借强大的功能和卓越的性…...

编程日记 2025/9/8 21:36:22

NVIDIA GEFORCE GTX1050显卡如何搭建AI人脸识别技术环境

NVIDIA GEFORCE GTX1050显卡如何搭建AI人脸识别技术环境！实际上，这个显卡虽然是入门级的，但是依然可以满足你的入门学习要求。你的显卡是 NVIDIA GTX 1050，显存为 2GB，虽然它的性能不如高端显卡（如RTX 3060、3090等），但对于学习和研究人脸识别技术，尤其是进行基础的…...

编程日记 2025/9/11 21:48:31

华为数通Datacom认证体系详解：从HCIA到HCIE的进阶路径

华为数通Datacom（Data Communication）课程是华为认证体系中的核心方向之一，聚焦企业网络通信与数据通信技术，适合从事网络规划、部署和运维的人员。一、数通Datacom课程体系华为数通Datacom认证分为三个级别，逐级递…...

编程日记 2025/9/13 4:32:05

【运维】内网服务器借助通过某台可上外网的服务器实现公网访问

背景： 内网服务器无法连接公网,但是办公电脑可以连接内网服务器又可以连接公网。安装软件 1、frp 2、ccproxy 配置 1、内网服务器 # 内网服务器启动frp服务配置文件参考vi frps.ini# frps.ini [common] bind_port 7000# 备注: bind_port端口可以随意配置。配置完…...

编程日记 2025/9/10 18:46:45

Spring之Bean的生命周期过程中调用的方法

1。这个部分除了6,9都在这了 package com.example.springbootdemo3.lifebeean;import org.springframework.beans.BeansException; import org.springframework.beans.factory.*; import org.springframework.beans.factory.annotation.Value; import org.springframework.con…...

编程日记 2025/9/9 15:50:26