- 博客(5)
- 收藏
- 关注
RSS订阅原创 Assertion 断言
断言：用来与设计功能和时序做比较的属性描述，即，仅仅是一种属性描述，并不能修改设计本身的行为。根据断言执行的时序特点，可以将断言分为立即断言（immediate assertion）和并行断言（concurrent assertion）。立即断言：非时序的，执行起来如同过程语句一样，可以在initial/always规程块或者task/function中使用。并行断言：具有时序性，并且语法上具有关键词property，之所以称为并行，是因为他们与设计模块一同并行执行。另外，在断言的实际使用中，会
2021-12-19 20:27:13
401
1
原创 virtual_sequence和virtual_sequencer
对于virtual_sequence和virtual_sequencer的理解，下面主要从两个方面介绍:什么是virtual_sequence和virtual_sequencer?为什么要引入virtual_sequence和virtual_sequencer?Answer1virtual_sequence是可以承载不同目标sequencer的sequence群落，而组织协调这些sequence的方式类似于高层次的hierarchical_sequence，并且virtual_seque
2021-11-28 23:37:22
1701
原创 阻塞型和非阻塞型传输方式
阻塞型(blocking)端口对应的put/get()是方法(task)，会消耗时间和等待延迟；非阻塞型(nonblocking)端口对应的can/try_put/get/peek()是函数(function)，不会消耗时间或等待延迟，调用后会立即返回。
2021-11-21 23:19:47
670
原创 TLM通信
下面将从三个层次进行概述，即什么是TLM通信（What）？为什么要用TLM通信（Why）？如何实现TLM通信（How）？什么是TLM通信:它是一种基于事物（transaction）的通信方式。为什么要用TLM通信:为了提高数据传输的抽象级别，同时也降低了整个组件和环境之间的耦合度，有利于后期的验证环境维护，这也是不再直接用mailbox的句柄做通信的原因。如何实现TLM通信:既然是通信，第一步，首先要明确通信的对象是什么，对象的类型怎么区分。我们一般将发起通信请求的一方称为initiator，
2021-11-21 16:35:34
710
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人