摘要：在越来越复杂的SoC芯片设计过程中,功能验证已成为芯片设计周期中最主要的瓶颈;采用人工智能算法在功能覆盖率指导下自动生成随机激励的方法已成为该领域的研究热点;针对贝叶斯网络强大的不确定性概率推理和数据分析能力以及事务级验证平台的特点,采用贝叶斯网络来自动分析验证平台中的事务配置参数和功能覆盖率统计数据之间的不确定关系,提出了一种改进的功能覆盖率驱动验证平台;与传统的约束随机验证平台相比,能快速达到覆盖率目标,缩短验证周期。

摘要：本文首先分析了传统验证方法的不足和使用RVM随机验证的原因,指出了RVM随机验证的3个关键点,接着介绍了RVM随机验证方法学的主要特征和一些重要术语,以及RVM验证方法学中层次化验证的结构。最后,结合UART(通用异步收发报机)实例,对3个关键点进行了详细的阐述。本文主要介绍了在搭建高效验证平台时,需要认真分析和详细设计的3个关键点,平台搭建方法是RVM参考验证方法学。通过本文的论述,在进行芯片验证时,只要设计好了这3个关键点就可以保证验证的快速和高效。

摘要：简要叙述了AGC和软件无线电的概念,重点介绍了ANALOG DEVICES公司的ADL5330可变增益放大器的特性以及基于此放大器设计的一套AGC系统,对其中DSP处理部分提出的新算法:幅度计算、门限判断和查表进行了详细讨论,给出了在TI公司的TMS320C55X数字信号处理器和CCS仿真系统上的处理流程和MATLAB仿真结果,结果表明:AGC系统可以实现信号到达接收机时约为60 dB的功率调整范围。