88lifa利发国际娱乐网 > 可编程逻辑 > FPGA/ASIC技术 > 正文
  1. 代码覆盖率
    +关注
    关注
    文章 1
    浏览量 5095
  2. Verilog
    +关注
    关注
    文章 403
    浏览量 45735

Verilog代码覆盖率检查

2012年04月29日 12:35 次阅读
对于复杂的设计来说,Verilog代码覆盖率检查是检查验证工作是否完全的重要方法,代码覆盖率(codecoverge)可以指示Verilog代码描述的功能有多少在仿真过程中被验证过了,代码覆盖率分析包括以下分析内容。

1、语句覆盖率(statementcoverge),又称为声明覆盖率,用于分析每个声明在验证过程中执行的次数。例如:
always@(areq0orareq1)
begin
gnt0=0;//声明
if(areq0==1)
gnt=1;//声明2
end
仿真过程结束后将给出报告,说明整个仿真过程中每个声明执行了多少次。如果某些声明没有执行过,则需要进行补充仿真。

2、路径覆盖率(pathcoverge),在设计中往往使用分支控制语句来根据不同的条件进行不同的操作,路径覆盖率分析可以指出所有分支是否执行了,路径覆盖率分析主要以if-else语句的各种分支为分析对象。例如:
If(areq0)
begin
……
end
If(areq1)
begin
……。。
End
这段代码中存在4条路径,分别对应着从areq0=0,areq0=1,areq1=0,areq1=1,经覆盖率就是要分析整个验证过程中所有分支路径都曾经出现过。

3、状态机覆盖率(statemachinecoverge)用于统计在仿真过程中状态机发生了哪些跳转,这种分析可以防止验证过程中某些状态跳转从来没有发生过,从而造成设计隐患。

4、触发覆盖率(triggeringcoverge)分析用于检查在仿真过程中某些局部电路是否发生过由于某个信号的变化而触发进行运算和操作的情况。例如:
always@(areq0orareq1orareq2)
begin
……。。
End
触发覆盖率分析会检查该电路是否由于areq0、areq1、areq2的变化而被执行,如果仿真过程中没有出现过因某个信号(如areq2)的变化而执行电路功能的情况,那么就会给出提示,验证者需要在testbench中补充测试内容,以避免存在设计缺陷。

5、表达式覆盖率分析(expressioncoverge),用于检查布尔表达式验证的充分性。例如:下面是连续赋值语句:
assignareq=areq0||areq1;
可能出现的信号值组合如下:
areq0=0areq1=0
areq0=0areq1=1
areq0=1areq1=0
areq0=1areq1=1
表达式覆盖率分析,该分析针对的是这些组合在整个验证过程中是否出现过,并给出那些组合从未出的。

技术专区

  1. 美高森美PolarFire FPGA器件荣获《今日电子》和21ic.com颁发 “2017年
  2. 加速新科技,驱动智未来
  3. DSP专家给你一个选择FPGA的理由
  4. AccelerComm与Achronix实现5G极化码与Speedcore eFPGA集成来支持客户5G方
  5. 2018年赛灵思意图大举进攻机器学习市场
关注88lifa利发国际娱乐微信
有趣有料的资讯及技术干货
下载发烧友APP
打造属于您的人脉电子圈
关注发烧友课堂
锁定最新课程活动及技术直播
收藏 人收藏
分享:

评论

相关推荐

【下载】《从零开始学CPLD和Verilog HDL编程技术》

发表于 2018-03-30 15:07 558次阅读
【下载】《从零开始学CPLD和Verilog HDL编程技术》

Verilog和SystemVerilog定义了...

在实际设计中有一种情况可能会产生这种问题:cond信号来自于memory。比如汉明码SECDED(...
发表于 2018-03-29 15:40 171次阅读
Verilog和SystemVerilog定义了...

关于verilog的学习经验简单分享

学习verilog最重要的不是语法,“因为10%的语法就能完成90%的工作”,verilog语言常用...
发表于 2018-03-26 14:06 82次阅读
关于verilog的学习经验简单分享

vhdl和verilog的区别_vhdl和ver...

VHDL全名Very-High-Speed Integrated Circuit Hardware ...
发表于 2018-03-23 16:43 106次阅读
vhdl和verilog的区别_vhdl和ver...

verilog编译指令_verilog编译器指示...

以`(反引号)开始的某些标识符是编译器指令。在Verilog 语言编译时,特定的编译器指令在整个编译...
发表于 2018-03-23 13:40 197次阅读
verilog编译指令_verilog编译器指示...

verilog语言基本语句_verilog语言词...

Verilog HDL是一种硬件描述语言(HDL:Hardware Description Lang...
发表于 2018-03-23 11:46 291次阅读
verilog语言基本语句_verilog语言词...

Verilog generate语句的类型

Generate 结构在创建可配置的RTL的时候很有用。Generate loop能够让语句...
发表于 2018-03-16 14:34 240次阅读
Verilog generate语句的类型

我见过的verilog最经典学习资料分享

发表于 2018-03-08 16:02 760次阅读
我见过的verilog最经典学习资料分享

Verilog数字VLSI设计教程_[李林 编著][电子工业出版社][2010][319页]

发表于 2018-02-16 00:28 441次阅读
Verilog数字VLSI设计教程_[李林 编著][电子工业出版社][2010][319页]

Verilog的135个经典设计实例

发表于 2018-01-25 10:48 545次阅读
Verilog的135个经典设计实例

基于Verilog实现的DDS任意波形发生器

DDS是从相位的概念直接合成所需波形的一种频率合成技术。不仅可以产生不同频率的正弦波,而且可以控制波...
发表于 2018-01-08 11:58 116次阅读
基于Verilog实现的DDS任意波形发生器

为什么四位全加器的输出是高阻态呀

发表于 2017-12-25 17:18 621次阅读
为什么四位全加器的输出是高阻态呀

Verilog实现74LS194芯片设计程序

Verilog作为一种种硬件描述语言目前已经得到了普遍运用。本文主要介绍了Verilog特点、Ver...
发表于 2017-12-22 17:26 173次阅读
Verilog实现74LS194芯片设计程序

Verilog/VHDL语法学习是掌握基本代码设...

无论是VHDL还是Verilog,建议初学者先掌握其中一门。
发表于 2017-12-19 13:09 1348次阅读
Verilog/VHDL语法学习是掌握基本代码设...

d触发器verilog描述

触发器是一个具有记忆功能的,具有两个稳定状态的信息存储器件,是构成多种时序电路的最基本逻辑单元,也是...
发表于 2017-12-12 16:47 303次阅读
d触发器verilog描述

有没有哪位朋友用Verilog写过12接口的LED点阵屏程序啊?

发表于 2017-12-10 16:29 344次阅读
有没有哪位朋友用Verilog写过12接口的LED点阵屏程序啊?

verilog实现定时器函数

使用Verilog描述硬件的基本设计单元是模块(module)。构建复杂的电子电路,主要是通过模块的...
发表于 2017-12-08 17:20 289次阅读
verilog实现定时器函数

Verilog开关级描述:处于高阻态时,输出值怎么确定?

发表于 2017-11-30 15:17 700次阅读
Verilog开关级描述:处于高阻态时,输出值怎么确定?

明德扬FPGA设计技巧--gVim模板分享2

发表于 2017-11-29 15:19 370次阅读
明德扬FPGA设计技巧--gVim模板分享2

Quartus II13.0 程序下载:请问用下载器下载sof文件,progress为什么是fail?

发表于 2017-11-28 21:57 610次阅读
Quartus II13.0 程序下载:请问用下载器下载sof文件,progress为什么是fail?

基于Verilog的PS/2接口控制程序

通过Verilog编程实现在红色飓风II代Xilinx开发板上面实现对键盘、LCD、RS-232等接...
发表于 2017-11-22 15:03 308次阅读
基于Verilog的PS/2接口控制程序

技术模块输出信号MSL、MSH、SL、SH、ML、MH几个信号在数码管扫描模块为什么是高阻态呢?急求大神指点

发表于 2017-11-20 23:28 751次阅读
技术模块输出信号MSL、MSH、SL、SH、ML、MH几个信号在数码管扫描模块为什么是高阻态呢?急求大神指点

通过编写verilog代码实现OLED驱动和内容...

本实验通过verilog代码的编写,在EGO1开发板上实现OLED的驱动和内容显示。
发表于 2017-11-11 08:22 4970次阅读
通过编写verilog代码实现OLED驱动和内容...

uart串口代码verilog

 Verilog HDL是一种硬件描述语言(HDL:Hardware Description Lan...
发表于 2017-11-09 17:34 288次阅读
uart串口代码verilog

改变数字硬件设计,实现真正工程化

与VHDL和Verilog一样,SpinalHDL可用于通过定义寄存器和门来描述硬件,SpinalH...
发表于 2017-08-10 11:27 911次阅读
改变数字硬件设计,实现真正工程化

基于Verilog FPGA 流水灯设计

流水广告灯主要应用于LED灯光控制。通过程序控制LED的亮和灭, 多个LED灯组成一个阵列,依次逐个...
发表于 2017-08-09 15:14 1376次阅读
基于Verilog FPGA 流水灯设计

Verilog的语言要素

本章介绍Verilog HDL的基本要素,包括标识符、注释、数值、编译程序指令、系统任务和系统函数。...
发表于 2017-02-11 17:01 407次阅读
Verilog的语言要素

Verilog HDL简明教程(2)

模块是Verilog 的基本描述单位,用于描述某个设计的功能或结构及其与其他模块通信的外部端口。
发表于 2017-02-11 16:58 264次阅读
Verilog HDL简明教程(2)

写verilog代码要有硬件的概念

因为Verilog是一种硬件描述语言,所以在写Verilog语言时,首先要有所要写的module在硬...
发表于 2017-02-11 16:18 523次阅读
写verilog代码要有硬件的概念

初学者学习Verilog HDL的步骤和经验技巧

Verilog HDL是一种硬件描述语言(HDL:Hardware Discription Lang...
发表于 2017-02-11 14:00 5773次阅读
初学者学习Verilog HDL的步骤和经验技巧

一个合格FPGA 工程师的基本要求

一个合格的FPGA工程师需要掌握哪些知识?这里根据自己的一些心得总结一下,其他朋友可以补充啊。
发表于 2017-02-11 13:47 882次阅读
一个合格FPGA 工程师的基本要求

FPGA开发与学习连载4

Verilog中,用always块设计组合逻辑电路时,在赋值表达式右端参与赋值的所有信号都必须在al...
发表于 2017-02-11 13:28 129次阅读
FPGA开发与学习连载4

FPGA开发与学习连载:Verilog设计经验谈

Verilog中,用always块设计组合逻辑电路时,在赋值表达式右端参与赋值的所有信号都必须在 a...
发表于 2017-02-11 13:17 179次阅读
FPGA开发与学习连载:Verilog设计经验谈

Verilog的两个误区

Reg类 型只在过程块中被赋值;而Net类型则在过 程块外面被赋值或者驱动.
发表于 2017-02-11 12:45 218次阅读
Verilog的两个误区

用Verilog语言实现奇数倍分频电路3分频、5...

分频器是FPGA设计中使用频率非常高的基本设计之一,尽管在目前大部分设计中,广泛使用芯片厂家集成的锁...
发表于 2017-02-11 12:33 1720次阅读
用Verilog语言实现奇数倍分频电路3分频、5...

Verilog设计中的一些避免犯错的小技巧

这是一个在设计中常犯的错误列表,这些错误常使得你的设计不可靠或速度较慢,为了提高你的设计性能和提高速...
发表于 2017-02-11 11:32 110次阅读
Verilog设计中的一些避免犯错的小技巧

赛灵思Verilog(FPGA/CPLD)设计技...

以下是一个在设计中常犯的错误列表这些错误常使得你的设计不可靠或速度较慢为了提高你的设计性能和提高速度...
发表于 2017-02-11 11:23 157次阅读
赛灵思Verilog(FPGA/CPLD)设计技...

基于verilog的FPGA编程经验总结

用了半个多月的ISE,几乎全是自学起来的,碰到了很多很多让人DT好久的小问题,百度也百不到,后来还是...
发表于 2017-02-11 11:22 156次阅读
基于verilog的FPGA编程经验总结

浅谈VHDL/Verilog的可综合性以及对初学...

最近在写代码的时候总是在思考,我写的这个能被综合吗?总是不放心,或是写完了综合的时候出问题,被搞的非...
发表于 2017-02-11 11:11 1360次阅读
浅谈VHDL/Verilog的可综合性以及对初学...

针对赛灵思ISE工具的verilog编程经验小结

用了半个多月的ISE,几乎全是自学起来的,碰到了很多很多让人DT好久的小问题,百度也百不到,后来还是...
发表于 2017-02-11 06:53 340次阅读
针对赛灵思ISE工具的verilog编程经验小结

赛灵思公司提供的Verilog(FPGA/CPL...

这是一个在设计中常犯的错误列表这些错误常使得你的设计不可靠或速度较慢为了提高你的设计性能和提高速度的...
发表于 2017-02-11 06:50 64次阅读
赛灵思公司提供的Verilog(FPGA/CPL...

verilog语言实现任意分频

原文出自:分频器是指使输出信号频率为输入信号频率整数分之一的电子电路。在许多电子设备中如电子钟、频率...
发表于 2017-02-11 04:04 1696次阅读
verilog语言实现任意分频

深入分析verilog阻塞和非阻塞赋值

学verilog 一个月了,在开发板上面写了很多代码,但是始终对一些问题理解的不够透彻,这里我们来写...
发表于 2017-02-11 03:23 97次阅读
深入分析verilog阻塞和非阻塞赋值

cordic算法verilog实现(复杂版)

module cordic (clk,rst_n,ena,phase_in,sin_out,cos_...
发表于 2017-02-11 03:07 376次阅读
cordic算法verilog实现(复杂版)

cordic算法verilog实现(简单版)

cordic算法verilog实现(简单版)(转载)module cordic(clk, phi, ...
发表于 2017-02-11 03:06 210次阅读
cordic算法verilog实现(简单版)

按键消抖的原理和基于verilog的消抖设计

按键开关是各种电子设备不可或缺的人机接口。在实际应用中,很大一部分的按键是机械按键。在机械按键的触点...
发表于 2017-02-11 01:14 360次阅读
按键消抖的原理和基于verilog的消抖设计

此通用电路可以实现任意奇数分频电路

最近正在准备找工作,由于是做FPGA开发,所以verilog实现技术分频电路是一道经常出现的题目,三...
发表于 2017-02-09 14:21 485次阅读
此通用电路可以实现任意奇数分频电路

这才是学习FPGA的正确路径

我把FPGA层次划分为,鸡蛋级别,菜鸟级别,老鸟级别,高手级别四类。题主是鸡蛋级别的吧!啥也不会。那...
发表于 2016-06-07 10:51 9769次阅读
这才是学习FPGA的正确路径

Verilog HDL语言的文件调用问题:inc...

本文简单介绍在使用Verilog HDL语言时文件的调用问题之include使用方法介绍及举例说明,...
发表于 2013-01-24 14:40 2703次阅读
Verilog HDL语言的文件调用问题:inc...

FPGA核心知识详解(2):FPGA入门书籍推荐...

88lifa利发国际娱乐网核心提示 :对于FPGA初学者而言,正确的入门参考书籍对其至关重要。应广大FPGA初学者...
发表于 2012-11-29 13:34 40147次阅读
FPGA核心知识详解(2):FPGA入门书籍推荐...

Altium在Altium Designer软件...

Altium和Aldec签署的OEM协议中决定将Aldec的FPGA仿真功能添加到Altium De...
发表于 2012-09-20 09:39 748次阅读
Altium在Altium Designer软件...

FPGA牛人给FPGA初学者入门留下的几点心得体...

88lifa利发国际娱乐网讯: 最近有很多FPGA初学者在论坛里咨询,FPGA初学者应该从哪里开始学起呢?为此,我...
发表于 2012-09-13 15:46 3506次阅读
FPGA牛人给FPGA初学者入门留下的几点心得体...

Verilog代码命名六大黄金规则

88lifa利发国际娱乐网核心提示: 关于Verilog代码中命名的六大黄金规则。 1. 系统级信号的命名。 系统...
发表于 2012-09-04 14:40 1081次阅读
Verilog代码命名六大黄金规则

VerilogHDL综合性设计

介绍利用自动化综合工具在编码和综合的阶段完成用于HDTV芯片设计的优化
发表于 2012-06-15 10:31 526次阅读
VerilogHDL综合性设计

基于Verilog计算精度可调的整数除法器的设计

除法器是电子技术领域的基础模块,在电子电路设计中得到广泛应用。目前,实现除法器的方法有硬件实现和软件...
发表于 2012-05-24 09:41 589次阅读
基于Verilog计算精度可调的整数除法器的设计

基于Verilog实现电器定时开关控制

随着当今社会工作和生活节奏的加快,人们对许多电器、仪器、设备的自动化要求也越来越高,但现有的许多电器...
发表于 2012-01-17 11:58 1518次阅读
基于Verilog实现电器定时开关控制

采用Verilog的数字跑表设计

本实例主要实现了计数及进位的设计,通过几个always模块的设计实现一个特定用途的模块——数字跑表。...
发表于 2011-12-26 11:42 1482次阅读
采用Verilog的数字跑表设计

基于Verilog简易UART的FPGA/CPL...

在xo640上实现一个简单的Uart,能够解析串口数据,并在寄存器中存储,用FIFO实现数据的传递。...
发表于 2011-08-05 16:54 618次阅读
基于Verilog简易UART的FPGA/CPL...

如何以10进位显示8位数的七段显示器?

七段显示器在DE2可当成Verilog的控制台,做为16进位的输出结果。简单的使用开关当成2进位输入...
发表于 2011-05-10 08:28 838次阅读
如何以10进位显示8位数的七段显示器?

博客园正式支持Verilog语法着色功能

以前在贴Verilog代码时,都只能挑C++或者C#的语法着色,但两者的主题词毕竟不太一样,透过du...
发表于 2011-05-10 08:25 386次阅读
博客园正式支持Verilog语法着色功能

verilog中阻塞赋值和非阻塞赋值

阻塞和非阻塞语句作为verilog HDL语言的最大难点之一,一直困扰着FPGA设计者,即使是一个颇...
发表于 2011-03-15 10:57 4752次阅读
verilog中阻塞赋值和非阻塞赋值

PLD/FPGA硬件语言设计verilog HD...

在我国使用Verilog HDL的公司比使用VHDL的公司多。从EDA技术的发展上看,已出现用于CP...
发表于 2011-03-12 11:21 748次阅读
PLD/FPGA硬件语言设计verilog HD...

赛灵思Verilog(FPGA/CPLD)设计小...

以下是一个在设计中常犯的错误列表这些错误常使得你的设计不可靠或速度较慢为了提高你的设计性能和提高速度...
发表于 2011-02-23 10:37 740次阅读
赛灵思Verilog(FPGA/CPLD)设计小...

基于Verilog硬件描述语言的AES密码算法实...

  0 引言   密码模块是安全保密系统的重要组成部分,其核心任务就是加/解密数据。目前,分组密码
发表于 2010-10-15 11:13 1106次阅读
基于Verilog硬件描述语言的AES密码算法实...

基于Verilog HDL设计的UART模块

  1 UART原理   串行通信是指外部设备和计算机间使用一根数据线(另外需要地线,可能还需要控...
发表于 2010-08-02 09:37 1664次阅读
基于Verilog HDL设计的UART模块

基于FPGA和硬件描述语言Verilog的液晶显...

本设计是一种基于FPGA(现场可编程门阵列)的液晶显示控制器。与集成电路控制器相比,FPGA更加灵活...
发表于 2010-07-02 11:14 566次阅读
基于FPGA和硬件描述语言Verilog的液晶显...

verilog PS2键盘解码程序

 之前探讨过PS/2键盘编解码以及数据传输协议,这次自己动手实现了利用FPGA接收键盘编码...
发表于 2010-06-05 12:31 652次阅读
verilog PS2键盘解码程序

好用的Verilog串口UART程序

==================================================...
发表于 2010-06-05 12:12 3599次阅读
好用的Verilog串口UART程序

怎样实现Verilog模拟PS2协议

PS2协议读键盘值相当简单嘛,比模拟SPI、I2C简单多了...下面介绍一下具体过程. 1.明确接...
发表于 2010-06-05 11:52 607次阅读
怎样实现Verilog模拟PS2协议

VHDL和Verilog HDL语言对比

VHDL和Verilog HDL语言对比 Verilog HDL和VHDL都是用于逻辑设计的硬件描...
发表于 2010-02-09 09:01 6865次阅读
VHDL和Verilog HDL语言对比

Verilog HDL语言简介

Verilog HDL语言简介 1.什么是Verilog HDLVerilog HDL是硬件描述语...
发表于 2010-02-09 08:59 1054次阅读
Verilog HDL语言简介

Verilog HDL语言实现时序逻辑电路

Verilog HDL语言实现时序逻辑电路 在Verilog HDL语言中,时序逻辑电路使用alw...
发表于 2010-02-08 11:46 980次阅读
Verilog HDL语言实现时序逻辑电路

基于Verilog的顺序状态逻辑FSM的设计与仿...

基于Verilog的顺序状态逻辑FSM的设计与仿真  硬件描述语言Verilog为数字系统设计人员...
发表于 2010-02-04 09:32 340次阅读
基于Verilog的顺序状态逻辑FSM的设计与仿...

针对C语言编程者的Verilog开发指南实例

针对C语言编程者的Verilog开发指南实例 本文举例说明了如何用软件实现脉宽调制(PWM),如何...
发表于 2009-12-27 13:26 461次阅读
针对C语言编程者的Verilog开发指南实例

H.264/AVC中量化的Verilog方法介绍...

H.264/AVC中量化的Verilog方法介绍及实现 0  引  言  ...
发表于 2009-11-12 10:08 308次阅读
H.264/AVC中量化的Verilog方法介绍...

ST-BUS总线接口模块的Verilog HDL...

ST-BUS总线接口模块的Verilog HDL设计 ST-BUS是广泛应用于E1通信设备内部的一...
发表于 2009-09-26 18:01 446次阅读
ST-BUS总线接口模块的Verilog HDL...

基于Verilog-HDL的轴承振动噪声电压峰值...

摘要:介绍模拟峰值电压的检测方式,叙述基于Verilog-HDL与高速A/D转换器相结合所实现的数字...
发表于 2009-06-20 15:14 342次阅读
基于Verilog-HDL的轴承振动噪声电压峰值...

基于Verilog HDL设计的自动数据采集系统

摘要: 介绍了一种采用硬件控制的自动数据采集系统的设计方法,包括数字系统自顶向下的设计思路、Veri...
发表于 2009-06-20 14:57 645次阅读
基于Verilog HDL设计的自动数据采集系统

基于Verilog HDL的CMOS图像敏感器驱...

摘要: 介绍一种用于卫星姿态测量的CMOS图像敏感器--STAR250的时序驱动信号,并使用Veri...
发表于 2009-06-20 14:30 254次阅读
基于Verilog HDL的CMOS图像敏感器驱...

Verilog HDL语言在FPGA/CPLD开...

摘 要:通过设计实例详细介绍了用Verilog HDL语言开发FPGA/CPLD的方法,并通过与其他...
发表于 2009-06-20 11:51 543次阅读
Verilog HDL语言在FPGA/CPLD开...

什么是Verilog HDL?

什么是Verilog HDL? Verilog HDL是一种硬件描述语言,用于从算法级、门级到开关...
发表于 2009-01-18 14:53 765次阅读
什么是Verilog HDL?

88lifa利发国际娱乐

百度360搜索搜狗搜索