当前位置: 首页 > article >正文

UVM 验证方法学之interface学习系列文章(十二)virtual interface 终结篇

一 双向和三态问题

任何具有多个驱动器的信号,都需要使用网(net)来建模。网是唯一能够同时解决不同状态和强度驱动同一信号效果的构造。net的行为由内置解析函数定义,该函数使用net上所有驱动器的值和强度。每当其中一个驱动器发生变化时,就会调用该函数来生成解析值。该函数在细化阶段(即仿真开始之前)创建,并基于网类型(如wand、wor、tri1等)来确定。

对变量的过程赋值遵循简单的规则:最后写入的值有效。不允许对网进行过程赋值,因为无法表示你所赋的值应如何与其他驱动器进行解析。同样,也无法表示过程赋值在另一个连续赋值接管之前应保持多久的有效期。

基于类的测试平台不能有连续赋值,因为类是动态创建的对象,不允许有像连续赋值这样的结构构造。虽然一个类可以读取网的解析值,但它只能对变量进行过程赋值。因此,测试平台需要创建一个变量,该变量被连续赋值给一个线网(wire)。

在此示例中,对于基于类的测试平台,会对bus_reg进行过程赋值,而bus则具有解析信号的值。

二 竞态条件和时钟块

如果建模不正确࿰


http://www.kler.cn/a/448178.html

相关文章:

  • 【C语言】动态内存管理:详解malloc和free函数
  • mac iterm2 使用 lrzsz
  • ROS1入门教程3:自定义消息
  • 数据结构大作业——家谱管理系统(超详细!完整代码!)
  • Vulnhub靶场Nginx解析漏洞复现
  • HUAWEI-eNSP交换机链路聚合(手动负载分担模式)
  • CPU性能优化--函数分组
  • C语言入门指南:从零开始的编程之路
  • ZYNQ初识4(zynq_7010)基于vivado,利用simulator进行仿真调试和波形查看
  • 自动生成元启发式算法:大语言模型在优化领域的新应用
  • 单片机UDP数据透传
  • 【AI】✈️问答页面搭建-内网穿透公网可访问!
  • STM32二刷学习笔记--GPIO
  • HarmonyOS 实践 - 设计模式在代码中的作用
  • More Effective C++之效率Efficiency_中
  • STM32F407ZGT6-UCOSIII笔记10:消息传递--消息队列
  • MMAudio - 自动给视频配音效
  • 利用Python爬虫获取商品历史价格信息:技术与实践
  • H264编解码标准码流分析:I帧、P帧、B帧语法
  • 【深入解析C#第四版】读书笔记1:C# 特性之【类型系统】
  • 探索JavaScript数组API:提升你的编程效率
  • 探究大模型为何因数据增多而效果更佳及其优势
  • D102【python 接口自动化学习】- pytest进阶之fixture用法
  • 十一、从0开始卷出一个新项目之瑞萨RA6M5串口DTC接收不定长
  • Linux 网络维护相关命令简介
  • 从入门到实战:基于 UniApp 的全场景开发实践