Cadence Skill 论坛

 找回密码
 立即注册

QQ登录

只需一步,快速开始

搜索
查看: 3095|回复: 0

利用cadence smv模型检测工具实现读写锁问题

[复制链接]
匿名  发表于 2014-1-7 11:34:21 |阅读模式
利用cadence smv模型检测工具实现读写锁问题
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

Archiver|手机版|网站地图|Cadence Skill 论坛 ( 蜀ICP备13024417号 )

GMT+8, 2024-5-6 22:16 , Processed in 0.125396 second(s), 14 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表