Applying an SMT Solver to Coverage-Driven Design Verification

Applying an SMT Solver to Coverage-Driven Design Verification
复制标题

将 SMT 求解器应用于覆盖率驱动的设计验证

DOI：
10.1587/transfun.e101.a.1053
复制
发表时间：
2018
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
--
通讯作者：
HAMAGUCHI Kiyoharu
HAMAGUCHI Kiyoharu
中科院分区：
--
文献类型：
--
作者：
柳本 武美;金子峰雄;HAMAGUCHI Kiyoharu

文献摘要

相似文献