自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(2)
  • 收藏
  • 关注

原创 Assertion Coverage error:收集不到assertion

因为收集assertion时,需要包括active和finished两个状态,才能够收集成功。如果仅存在active,没有finished状态,assertion仅能工作。当收集assertion coverage时,可能会遇到可以正常check 逻辑的assertion,在收集coverage时收集不到。如果存在过度使用的情况,将disable iff后的logic转到assertion的触发条件,这样就可以解决问题。这个时候,需要看下相应assertion的状态,是否存在finished 状态。

2023-08-23 14:30:32 102

原创 perl按行读文件,行内有用信息,并写入到excel中

perl按行读文件,并写入到excel中***目标A:按行读取文件;B:获取cases的名字,并写入到excel中;C: 统计cases的总数,并写入到excel中;输入文件origin.log , 即要读取的文件,按行读取该文件。脚本文本testlist.pl, 即运行的脚本示例如下:输出文件示例如下:...

2019-11-22 19:49:14 861

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除