Automatic Assertion Extraction in Gate-Level Simulation Using GPGPUs

Automatic Assertion Extraction in Gate-Level Simulation Using GPGPUs
复制标题

使用 GPGPU 进行门级仿真中的自动断言提取

DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
and M. Fujita
and M. Fujita
中科院分区：
--
文献类型：
--
作者：
S. Ono;T. Matsumoto;and M. Fujita

文献摘要

参考文献

相似文献

Utilizing Assertion Synthesis to Achieve an Automated Assertion-Based Verification Methodology for Complex Graphics Chip Designs
利用断言合成实现复杂图形芯片设计的基于断言的自动验证方法
DOI： --
发表时间： 2010
期刊： --
影响因子： --
作者：
Prosenjit Chatterjee;Yuan Lu;Saad Godil;Peter Nelson
通讯作者： Peter Nelson