Icer_Newer - 博客园

2024年3月11日

摘要： not intersect 总结所有的组件都是通过class进行建模通过interface进行连接形成测试平台每一个class都是一个SV文件,进行结构化管理搭建testbench的主要目的是对DUT进行测试的,主要关注DUT的interface和feature,只要拿到interface就阅读全文

posted @ 2024-03-11 10:09 Icer_Newer 阅读(22) 评论(0) 推荐(0) 编辑

SV 断言属性

摘要：内容断言属性支持多时钟并发断言总结在时钟复位的时候,不会进行assertion 阅读全文

posted @ 2024-03-11 10:08 Icer_Newer 阅读(5) 评论(0) 推荐(0) 编辑

SV 断言序列

摘要：内容 Sequence匹配 $表示无穷大,随着仿真时间一直持续,占内存比较大 sequence是可以进行嵌套的 sequence重复操作符 sequence采样函数 $past(b,n) - 前n个时钟周期的b的值 sequence操作符总结阅读全文

posted @ 2024-03-11 09:04 Icer_Newer 阅读(54) 评论(0) 推荐(0) 编辑

2024年3月10日

SV - 断言概述

摘要：内容断言有很多,这里主要讲解SVA 立即断言和并发断言是SVA的核心断言Assertion 假设有一个valid信号只能维持一个时钟周期,如果valid信号超过两个时钟周期就表示valid信号出错了使用SV语法写monitor.sv检测信号 int cnt_valid; always @(po 阅读全文

posted @ 2024-03-10 00:03 Icer_Newer 阅读(603) 评论(0) 推荐(0) 编辑

2024年2月28日

同步和异步

摘要：概述在数字电路中经常有同步\异步的概念,异步输入指的是输入信号和时钟无关,同步指的是输入信号和时钟信号有关实际开发中,经常有同步清0,经常有同步清0,异步清0,同步复位,异步复位等概念异步电路:异步电路主要是组合逻辑电路,其逻辑输出与任何时钟信号都没有关系 // 时钟信号不会影响组合逻辑 al 阅读全文

posted @ 2024-02-28 21:03 Icer_Newer 阅读(246) 评论(0) 推荐(0) 编辑

2024年2月25日

异步FIFO设计

摘要：同步FIFO REVIEW 方法1:使用计数器判断空满方法2:使用扩展一位的地址指示空满,读写指针最高位不同,剩余的位都相同,表示满了;读写指针相等,表示空异步FIFO 格雷码产生 gray_code = data ^ (data >>1) 相邻两个数之间只有一个bit发生变化异步FIFO原理阅读全文

posted @ 2024-02-25 12:56 Icer_Newer 阅读(66) 评论(0) 推荐(0) 编辑

2024年1月28日

SV 覆盖率

摘要：覆盖率分为功能覆盖率和代码覆盖率基于覆盖率驱动的验证技术覆盖率检测可以采用穷举方法或者是随机检测的方法功能覆盖率是根据spec提取出功能点然后定义的功能覆盖率功能覆盖率模型功能覆盖率收敛功能覆盖率数据功能覆盖率数据的归一化和分析代码覆盖率断言覆盖率功能覆盖率基于覆盖率驱动的验证阅读全文

posted @ 2024-01-28 12:49 Icer_Newer 阅读(205) 评论(0) 推荐(0) 编辑

2024年1月27日

SV 线程内部通信

摘要：内容时钟上升沿就是一个事件,event是一个关键字,可以触发事件 mailbox - 用于传递信息,将信息给到mailbox进行传递内部线程通信事件传递,对于线程进行控制对于数据和资源进行传递内部线程通信机制:Verilog event event - 是一个数据类型 -> - 触发事件阅读全文

posted @ 2024-01-27 23:04 Icer_Newer 阅读(56) 评论(0) 推荐(0) 编辑

2024年1月24日

SV 并发线程

摘要：内容 assign d = a & b; assign e = b | c; begin...end之间的语句是串行执行的 fork....join语句是并行执行的逻辑仿真工具中的并发性仿真工具的时间更新,等到一个时刻所有的线程执行完成才会更新仿真时间并发线程执行线程遇到等待语句之后才会停止阅读全文

posted @ 2024-01-24 00:35 Icer_Newer 阅读(49) 评论(0) 推荐(0) 编辑

2024年1月23日

SV 随机化(Randomization)

摘要： Coverage Driver Verification 可约束的随机化验证,用于测试的值可以再一定范围内进行随机,具体的范围可以进行约束,比如可以跑100次,然后查看覆盖率,可以通过覆盖率进行度量验证的进度内容随机化的变量往往需要添加一定的约束,通过添加约束让值在一定的范围内进行随机随机化验阅读全文

posted @ 2024-01-23 23:17 Icer_Newer 阅读(572) 评论(0) 推荐(0) 编辑

ICER's BLOG

A NEW ERA OF IC WITH CODE

公告