首页> 外文会议>情報処理学会全国大会;情報処理学会 >形式的手法を用いた論理設計検証網羅性解析に関する一方式
【24h】

形式的手法を用いた論理設計検証網羅性解析に関する一方式

机译:一种形式化的逻辑设计验证穷举分析方法

获取原文

摘要

本報告では, 論理シミュレーションと形式的手法を連携し, 検証網羅性を解析する一手法を提案し, USB3.0 仕様のバルク転送に対して実装したPromela モデルを用いて反例を抽出する仕組みを示した. 今後, 実シミュレーション波形からのNeverClaim の生成を行い, モデルの拡張によりUSB3.0 仕様全体の検証に対する検証網羅性解析手法を構築する予定である.
机译:在本报告中,我们提出了一种通过将逻辑仿真与形式方法相链接来分析验证完整性的方法,并展示了使用针对USB3.0批量传输实现的Promela模型提取反例的机制。将来,我们计划从实际的仿真波形生成NeverClaim,并扩展模型以构建用于验证整个USB3.0规范的验证覆盖率分析方法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号