智能合约是一种自我执行的工具，它的增长是随着区块链的兴起而出现的。随着这项技术的采用，这些金融工具的实际存款额不断增加，同时它们的复杂性也严重升级。这种情况会周期性地导致代价高昂的bug和漏洞，从而为更严格的程序分析方法带来光明。
2019-06-25 10:55
FPGA验证和UVM验证在芯片设计和验证过程中都扮演着重要的角色，但它们之间存在明显的区别。
2024-03-15 15:00
采用三相四线制方式供电的低压线路中，三相负荷不平衡问题长期存在。智能换相装置能有效治理三相负荷不平衡问题，是三相负荷不平衡治理研究的重点。鉴于此，对智能换相装置的换相结构和控制策略进行了调研，首先
2023-05-15 17:12
程序的时候，都是取一个接近 10ms，又比较规整的值就行了。我们开发板上有 6 个数码管，那么我们现在就来着手写一个数码管动态扫描的程序，实现兼验证上面讲的动态显示原理。
2018-01-21 10:56
随着我国汽车产业网联化的快速发展，车载网联系统的复杂度不断提升，新的技术、设计思路和应用服务持续引入。传统验证方法大多基于系统集成及研发流程角度进行代码级测试、子系统级测试、集成及系统级的测试，难以
2024-01-24 09:46
随着SystemVerilog成为IEEE的P1800规范，越来越多的项目开始采用基于SystemVerilog的验证方法学来获得更多的重用扩展性、更全面的功能覆盖率，以及更合理的层次化验证结构
2014-03-24 14:07
芯片验证的工作量约占整个芯片研发的70%，已然成为缩短芯片上市时间的瓶颈。应用OVM方法学搭建SoC设计中的DMA IP验证平台，可有效提高验证效率。
2012-06-20 09:03
近日，天津大学精密仪器与光电子工程学院的光子芯片实验室综述了近年来硅基波导集成的片上光谱仪的研究成果，论文以“Integrated optical spectrometers on silicon photonics platforms”为题发表在《Laser &
2025-01-06 16:30
在本文中，我们将以西门子EDA处理器验证应用程序为例，结合Codasip L31这款广受欢迎的RISC-V处理器IP提供的特性，来介绍一种利用先进的EDA工具，在实际设计工作中对处理器进行验证的具体方法。
2023-07-10 10:28
本文以软件工程的视角切入，分析中科院计算所某片上系统（SoC）项目的验证平台，同时也介绍当前较为流行的验证方法，即以专门的验汪语言结合商用的验证模型，快速建立测试平台（test-bench）并在今后的项目中重用（re
2020-04-10 09:23
