论文部分内容阅读
随着大规模集成电路的设计与生产技术飞速发展,现有的验证技术包括验证工具和验证方法,逐渐无法满足复杂的设计要求。验证团队所面临的挑战包括验证层次性、可重用性、高效性以及完备性等等。一个高效有序的验证平台可以为验证团队带来很大的帮助,特别是减少了流片以后才发现功能不全的风险。虽然国外的技术已经在很大程度上领先于国内的技术,但是从行业发展来看,国内的公司或者研究机构已经引入了大量的先进技术,这对于芯片的发展是一个很好的推动。AFDX网络交换机芯片是随着新一代航空网络技术兴起的机载设备,AFDX是目前较为先进的航电数据传输技术之一,主要特点是较高的集成度、较大的带宽、出色的实时性和可靠性,使其在航空电子领域有着很大的潜力,而基于AFDX的交换机芯片正是满足行业内所需求的所能够达到机载设备要求的集成电路,前景不可估量。在结合了验证规范搭建好平台之后,例举了几个利用该验证平台进行验证的例子,并且利用验证平台评测出交换机芯片的性能,并以表格和数据的形式展示出交换机芯片的性能,对交换机芯片的验证平台有了最全面的剖析。最后结合本交换机芯片项目的实际情况及验证经验,从完备性、重用性以及可靠性等方面对本验证平台做出了一些总结,包括从实际项目经验中总结出来的优点和缺点,论文最后又针对未来的验证平台的一些相关技术进行展望,指出了未来的主流验证技术及其在提升虚拟平台验证效率方面的作用。