发帖

【优惠升级】华秋PCB首单最高立减100元，SMT免费贴片！！！

[经验]

SVA断言是基于边沿还是电平呢？

2022-8-25 15:57:03

1861 高电平时钟信号

1

SVA断言是一个强时序的技术，很多时候SVA的实际时序和验证工程师的期望可能不同，这种不同很难调试定位。

下面是一个SVA断言的示例，验证工程师期望断言

当检测到req的上升沿后，再持续高电平6个周期

hold_request: assert property (@(clk1))
rose(req) | => ##6 (!fell(req));

需要注意的是，上面的断言中的参数只指定一个普通的时钟信号@(clk1)，而不是指定时钟的边沿@(posedge clk1)。

在这种情况下，断言对时钟的上升沿和下降沿都是敏感的。

对于简单的断言，对上升沿和下降沿都敏感一般只会导致额外的检查，所以最终是无害的。个别场景下，会有一些比较大的性能代价（这种性能代价可以通过sim profile来优化）。

但是，当出现上面断言中的重复周期时，如##6运算符，后果就要严重多了。因为实际上的延迟不符合预期，只是预期的一半。

本来验证工程师预期延迟6个周期，实际上只是延迟3个周期。

这种问题，只能通过仔细地代码检视才能够发现。

原作者：验证哥布林

只看该作者 淘帖0 举报

相关推荐

评论

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容图片侵权或者其他问题，请联系本站作侵删。侵权投诉

精选推荐

迅为RK3568开发板EMMC镜像导出打包update.img

197 浏览 0 评论
飞凌嵌入式-ELFBOARD 硬件知识分享-ELF 2电源电路讲解

957 浏览 0 评论
浅谈加密芯片的一种破解方法和对应加密方案改进设计

1659 浏览 0 评论
飞凌嵌入式ElfBoard ELF 1板卡-mfgtools烧录流程介绍之烧写所需镜像

1469 浏览 0 评论
飞凌嵌入式ElfBoard ELF 1板卡-mfgtools烧录流程之烧写方法

915 浏览 0 评论

快速回复 返回顶部 返回列表

关注微信公众号

电子发烧友网

电子发烧友论坛

社区合作: 刘勇; 联系电话：15994832713; 邮箱地址：liuyong@huaqiu.com

社区管理: elecfans短短; 微信：elecfans_666; 邮箱：users@huaqiu.com

【优惠升级】华秋PCB首单最高立减100元，SMT免费贴片！！！

返回 ARM技术论坛

回复

关闭

站长推荐 /7

快速回复 返回顶部 返回列表

- 技术社区: HarmonyOS技术社区

RISC-V MCU技术社区

FPGA开发者技术社区

- OpenHarmony开源社区: OpenHarmony开源社区

- 嵌入式论坛: ARM技术论坛

STM32/STM8技术论坛

嵌入式技术论坛

单片机/MCU论坛

RISC-V技术论坛

瑞芯微Rockchip开发者社区

FPGA|CPLD|ASIC论坛

DSP论坛

- 电路图及DIY: 电路设计论坛

DIY及创意

电子元器件论坛

专家问答

- 电源技术论坛: 电源技术论坛

无线充电技术

- 综合技术与应用: 机器人论坛

USB论坛

电机控制

模拟技术

音视频技术

综合技术交流

上位机软件（C/Python/Java等）

- 无线通信论坛: WIFI技术

蓝牙技术

天线|RF射频|微波|雷达技术

- EDA设计论坛: PCB设计论坛

DigiPCBA论坛

Protel|AD|DXP论坛

PADS技术论坛

Allegro论坛

multisim论坛

proteus论坛|仿真论坛

KiCad EDA 中文论坛

DFM|可制造性设计论坛

- 测试测量论坛: LabVIEW论坛

Matlab论坛

测试测量技术

传感技术

- 招聘/交友/外包/交易/杂谈: 项目外包

供需及二手交易

工程师杂谈|交友

招聘|求职|工程师职场

- 官方社区: 发烧友官方/活动

华秋商城

华秋电路

time

recommend

hot

post

—
—
—

版
块
导
航