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

段丽莹; 胡毅; 郝燚; 甘杰; 冯文楠; 唐晓柯

首页> 中文期刊> 《电子世界》 >一种基于静态形式验证的I/O复用电路高效验证方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电子世界》 |2021年第3期|91-94|共4页
作者
段丽莹; 胡毅; 郝燚; 甘杰; 冯文楠; 唐晓柯;
展开▼
作者单位

北京智芯微电子科技有限公司;

北京智芯微电子科技有限公司;

北京智芯微电子科技有限公司;

北京智芯微电子科技有限公司;

北京智芯微电子科技有限公司;

北京智芯微电子科技有限公司;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词

相似文献

中文文献
外文文献
专利

1. 适用于PAD控制逻辑电路验证的一种高效的形式验证方法 [J] . 左丰国 ,魏小莽 ,李伟 . 中国集成电路 . 2019,第005期
2. 一种基于Vera的集成电路建模验证方法 [J] . 左航 ,金玉丰 . 计算机技术与发展 . 2007,第001期
3. 一种基于虚拟机的处理器高效原型验证方法 [J] . 赵君建 ,张盛兵 ,黄小平 . 微电子学与计算机 . 2010,第7期
4. 一种基于功能复用的容错扫描链电路结构 [J] . 黄正峰 ,刘彦斌 ,易茂祥 . 合肥工业大学学报（自然科学版） . 2012,第001期
5. 一种基于信息复用的Boosting瀑布型分类器高效训练方法 [J] . 闫胜业 . 电子与信息学报 . 2014,第010期
6. 一种基于安全C的编译器形式验证方法 [C] . 陈志伟 ,谭宇 . 全国抗恶劣环境计算机第二十六届学术年会 . 2016
7. 基于PSA的集成电路形式验证方法研究 [A] . 范德会 . 2012

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

摘要

著录项

相似文献

相关主题

期刊订阅