首页> 中文会议>2005年全国理论计算机科学学术年会 >分布式同步仲裁器电路的SPIN建模和验证

分布式同步仲裁器电路的SPIN建模和验证

摘要

本文中通过对同步仲裁器硬件电路的PROMELA建模,井用SPIN来验证该PROMEI-A模型是否满足电路所需的性质,以使SPIN这一优秀的软件验证技术更广泛地用于硬件电路的辅助设计中.

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号