IC技术圈
致力于建立知识、人的联系
IC技术圈期刊 2024年 第06期

类别： FPGA(4) 前端(2) 验证(3) 后端(0) 嵌入式(0) 自动化(0) 模拟(0) 求职就业(1) 管理(0) 软件(0) 按月份
常见数字IC验证技术介绍
#验证  #EDA 
数字验证有两种技术，动态仿真和静态形式验证（动态仿真也可以实时用sva来检查）。任何一种验证技术都不能解决全部问题，需要相互补充，发挥每个验证技术的长处，才能在项目中得到最好的效果。
ExASIC More
SystemVerilog Assertion精华知识
#验证  #Assertion  #断言  #SVA 
SystemVerilog中引入的SVA在协议检查和协议覆盖率方面可以发挥重要的作用，它们更接近设计信号，通过将这些断言直接连接到设计，一方面便于管理，另一方面仿真性能可以得到极大的提高。SVA语言本身非常简洁，且提供了很好的时序控制能力。
专芯致志er More
初识interface class
#验证  #SystemVerilog  #interfaceclass 
大概2012年的时候，IEEE1800-2012中增加了一个新的特性，即interface class横空出世，通过接口类实现想要被继承的方法的声明，然后在需要使用该方法的实现类中实现这些接口类的方法，从而可以在同一个实现类中，可以同时实现多个不同接口类中的方法，但是这并不是我们理解的多重继承，应该算作一种多重实现。
硅芯思见 More