首页> 中文期刊> 《微电子学与计算机》 >时序机的功能验证

时序机的功能验证

         

摘要

本文介绍了时序电路(时序机)功能验证的基本概念和发展,分析了验证中存在的问题以及冗余故障的性质.提出基于STG的功能验证方法。最后,提出了采用动态任务调度策略的并行验证技术以解决状态遍历问题。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号