一种基于静态形式验证的I/O复用电路高效验证方法  

作　　者：段丽莹 胡毅 郝燚 甘杰 冯文楠 唐晓柯 

机构地区：[1]北京智芯微电子科技有限公司

出　　处：《电子世界》2021年第3期91-94,共4页Electronics World

摘　　要：随着系统级芯片(System on Chip,SoC)中输入/输出(I/O)接口数量和复用功能的不断增加,I/O复用电路的验证变得越来越复杂,并且需要耗费大量时间。本文针对I/O复用电路的特点,提出一种基于静态形式验证的高效验证方法,在验证早期对I/O复用进行了复用功能验证和连接性验证,同时也进行了翻转覆盖率收集。与传统基于动态验证的方法相比,本方法可以将验证时间缩短一半以上,显著提升了设计质量和开发效率。

关 键 词：I/O复用 动态验证 验证方法 系统级芯片 验证时间 连接性 功能验证 翻转覆盖率 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]