智能合约是一种自我执行的工具，它的增长是随着区块链的兴起而出现的。随着这项技术的采用，这些金融工具的实际存款额不断增加，同时它们的复杂性也严重升级。这种情况会周期性地导致代价高昂的bug和漏洞，从而为更严格的程序分析方法带来光明。
2019-06-25 10:55
FPGA验证和UVM验证在芯片设计和验证过程中都扮演着重要的角色，但它们之间存在明显的区别。
2024-03-15 15:00
程序的时候，都是取一个接近 10ms，又比较规整的值就行了。我们开发板上有 6 个数码管，那么我们现在就来着手写一个数码管动态扫描的程序，实现兼验证上面讲的动态显示原理。
2018-01-21 10:56
随着SystemVerilog成为IEEE的P1800规范，越来越多的项目开始采用基于SystemVerilog的验证方法学来获得更多的重用扩展性、更全面的功能覆盖率，以及更合理的层次化验证结构
2014-03-24 14:07
芯片验证的工作量约占整个芯片研发的70%，已然成为缩短芯片上市时间的瓶颈。应用OVM方法学搭建SoC设计中的DMA IP验证平台，可有效提高验证效率。
2012-06-20 09:03
在本文中，我们将以西门子EDA处理器验证应用程序为例，结合Codasip L31这款广受欢迎的RISC-V处理器IP提供的特性，来介绍一种利用先进的EDA工具，在实际设计工作中对处理器进行验证的具体方法。
2023-07-10 10:28
验证其实是一个“证伪”的过程，从流程到工具，验证工程师的终极目的都只有一个。
2023-05-31 10:34
两个在质量管理和验证过程中经常使用的术语。以下是它们的区别和关系，包括维基百科的定义、应用和范围： 验证（Verification）：根据维基百科的定义，验证是一种评估活动，旨在确认产品、系统或
2023-06-19 10:59
采用System Verilog语言设计了一种具有层次化结构的可重用验证平台，该平台能够产生各种随机、定向、错误测试向量，并提供功能覆盖率计算。将验证平台在Synopsys公司的VCS仿真工具上运行
2018-01-12 11:28
很多其他行业也能从电子器件的增加受益，当然保障功能安全是大的前提。本文讨论SOC芯片设计验证、验证计划和策略以及验证方法。它定义了功能模拟、功能覆盖、代码覆盖以及设计验证
2023-07-20 09:05
