Language，硬件描述语言），而SystemVerilog则是HDVL（Hardware Design and Verification Language，硬件设计与验证语言）。由此可见，SystemVerilog
2023-10-19 11:19
通过上一篇对Formal Verification有了基本的认识；本篇将通过一个简单的例子，感受一下Formal的“魅力”；目前Formal Tool主流的有Synopsys的VC Formal
2023-05-25 17:29
SystemVerilog“struct”表示相同或不同数据类型的集合。
2022-11-07 10:18
SystemVerilog中的句柄赋值和对象复制的概念是有区别的。
2022-11-21 10:32
上一篇文章《暗藏玄机的SV随机化》介绍了SystemVerilog的各种随机化方法，本文将在其基础上引入SystemVerilog的随机约束方法（constraints）。通过使用随机约束，我们可以将随机限制在一定的空间内，有针对性地提高功能覆盖率。
2023-09-24 12:15
event是SystemVerilog语言中的一个强大特性，可以支持多个并发进程之间的同步。
2022-10-17 10:21
SystemVerilog casting意味着将一种数据类型转换为另一种数据类型。在将一个变量赋值给另一个变量时，SystemVerilog要求这两个变量具有相同的数据类型。
2022-10-17 14:35
本文分享一些SystemVerilog的coding guideline。
2023-11-22 09:17
SystemVerilog packages提供了对于许多不同数据类型的封装，包括变量、task、function、assertion等等，以至于可以在多个module中共享。
2022-11-07 09:44
SystemVerilog提供了几个内置方法来支持数组搜索、排序等功能。
2022-10-31 10:10
