智能合约是一种自我执行的工具，它的增长是随着区块链的兴起而出现的。随着这项技术的采用，这些金融工具的实际存款额不断增加，同时它们的复杂性也严重升级。这种情况会周期性地导致代价高昂的bug和漏洞，从而为更严格的程序分析方法带来光明。
2019-06-25 10:55
前 言 芯片的功能安全曾是非常小众的领域，只有少数汽车、工业、航空航天和其他类似市场的芯片与系统开发商关注。然而，随着汽车行业过去几年各类应用的兴起，情况已经发生巨大变化。同时，除了汽车外，还有
2023-07-20 09:05
FPGA验证和UVM验证在芯片设计和验证过程中都扮演着重要的角色，但它们之间存在明显的区别。
2024-03-15 15:00
程序的时候，都是取一个接近 10ms，又比较规整的值就行了。我们开发板上有 6 个数码管，那么我们现在就来着手写一个数码管动态扫描的程序，实现兼验证上面讲的动态显示原理。
2018-01-21 10:56
汽车电子设计已成为汽车系统设计中的重点和难点。传统方式下的汽车设计者不得不借助各种机械的、液压的、电子的汽车零部件以验证
2020-04-16 09:51
随着SystemVerilog成为IEEE的P1800规范，越来越多的项目开始采用基于SystemVerilog的验证方法学来获得更多的重用扩展性、更全面的功能覆盖率，以及更合理的层次化验证结构
2014-03-24 14:07
芯片验证的工作量约占整个芯片研发的70%，已然成为缩短芯片上市时间的瓶颈。应用OVM方法学搭建SoC设计中的DMA IP验证平台，可有效提高验证效率。
2012-06-20 09:03
，对满足功能安全ASIL等级的汽车嵌入式软件单元验证技术进行详细介绍，从而提高软件质量，减少软件安全隐患，对汽车嵌入式软件开发和测试工作具有一定的指导意义。
2024-01-07 11:27
在本文中，我们将以西门子EDA处理器验证应用程序为例，结合Codasip L31这款广受欢迎的RISC-V处理器IP提供的特性，来介绍一种利用先进的EDA工具，在实际设计工作中对处理器进行验证的具体方法。
2023-07-10 10:28
