最全面的验证书，包括SV，UVM，受约束的随机，断言，功能覆盖率，CDC验证，低功功耗验证，形式验证，ESL验证，软硬件联合验证，数模混合验证，SOC互连验证等

在电子技术中，频率是最基本的参数之一，并且与许多电参量的测量方案，测量结果都十分密切相关

h264 ip核， 经过fpga，asic验证。

时间过的真快，又到了2020年的研究生数学建模竞赛，经过本人一天的时间相关论文资料搜索，发现这几篇论文对于华为题《ASIC芯片上的载波恢复DSP算法设计与实现》具有一定的参考价值，仅供参考，祝大家建模愉快（手动狗头）。

modelsim command指南

《高级ASIC芯片综合》(第2版)(翻译版)描述了使用Synopsys工具进行ASIC芯片综合、物理综合、形式验证和静态时序分析的最新概念和技术，同时针对VDSM（超深亚微米）工艺的完整ASIC设计流程的设计方法进行了深入的探讨。《高级ASIC芯片综合》(第2版)(翻译版)的重点是使用Synopsys工具解决各种VDSM问题的实际应用。读者将详细了解有效处理复杂亚微米ASIC的设计方法，其重点是HDL的编码风格、综合和优化、动态仿真、形式验证、DFT扫描插入、lmks to layout、物理综合和静态时序分析。在每个步骤中，确定了设计流程中每一部分的问题，并详细描述了解决方法。此外，对包括与时钟树综合和links t0 layo[1t等版图相关的问题也进行了较详细的论述。而且，《高级ASIC芯片综合》(第2版)(翻译版)还对Synosys基本的工艺库、HDL编码风格以及最佳的综合解决方案进行了深入探讨。

《大规模MIMO检测算法VLSI架构——专用电路及动态重构实现》是清华大学刘雷波教授的著作，本书首先分别介绍线性和非线性大规模MIMO检测算法，及对应的专用电路的设计，然后提出并设计大规模MIMO检测可重构处理器，并介绍相应的数据通路和配置通路的设计方法，该方法解决了大规模MIMO检测芯片缺乏高灵活性和高扩展性这一难题，最后对大规模MIMO检测VLSI架构在服务器端、移动端和边缘计算端的应用进行展望。

1小时玩转数字电路.rar AHB-SRAMC和FIFO的设计与验证.rar clock skew.rar IC攻城狮求职宝典.rar linux basic.rar Linux EDA虚拟机 - 个人学习IC设计.rar Perl语言在芯片设计中的应用.rar SoC芯片设计技能专题.rar SystemVerilog Assertion断言理论与实践.rar SystemVerilog_Assertions_应用指南-源代码.rar uvm-1.2.rar VCS_labs.rar Verdi 基础教程.rar Verilog RTL 编码实践.rar [Cadence.IC设计.全资料教

硬件设计，ASIC与Customer IC 设计的区别，是一本很好的工具书。

浙江大学韩雁教授的课件