RTL验证
RTL验证技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
RTL验证 全部资料 500 份
基于FPGA的SOC和IPCore验证平台
随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展,特别是随着计算机技术的发展,在工业生产和科学技术研究的各行各业中,人们利用PC机的强大处理功能代替传统仪器的某些部件,开发出各种测量仪器(虚拟仪器),传统仪...
2024-01-13
7
磁罗盘的罗差分析与验证
【摘要】针对基于最佳椭圆拟合的磁罗盘误差补偿算法,设计了一组模拟不同类型干扰磁场的数据采集与罗差分析实验。通过对磁罗盘在各种干扰磁场下表征测量数据特性的拟合椭圆参数与最终补偿效果的详细分析,对理
2024-03-29
5
时序电路的等价验证方法
随着集成电路设计水平的进步,电路规模日益增大,电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要,形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等...
2024-04-07
1
[验证书籍]Advanced Formal Verification eBook
·[验证书籍]Advanced_Formal_Verification_eBook
2024-09-23
4
[验证书籍]Advanced Formal Verification eBook
·[验证书籍]Advanced Formal Verification eBook
2024-11-28
4