电子世界2021，Issue(3) ：91-94.

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

段丽莹 胡毅 郝燚 甘杰 冯文楠 唐晓柯
电子世界2021，Issue(3) ：91-94.
✕
  • NETL
  • NSTL
  • 维普
  • 万方数据

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

段丽莹 1胡毅 1郝燚 1甘杰 1冯文楠 1唐晓柯1
扫码查看

作者信息

  • 1. 北京智芯微电子科技有限公司
  • 折叠

引用本文复制引用

出版年

2021
电子世界
中国电子学会 北京思得易咨询中心

电子世界

影响因子：0.238
ISSN：1003-0522
段落导航相关论文