面向模型检验的跨时钟域设计电路 特性生成方法

PDF(747 KB)

电子学报 ›› 2009, Vol. 37 ›› Issue (2) : 258-265.

论文

面向模型检验的跨时钟域设计电路特性生成方法

作者信息 +

Property Generation Method for Model Checking on Clock Domain Crossing Design

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2009, 37(2): 258-265

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. {{journal.qiKanMingCheng_EN}}, 2009, 37(2): 258-265

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(747 KB)

Accesses

Citation

Detail

段落导航