|
|||||
|
|
An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage |
|
| Authors: | |
| Affiliation: | 1 Institute of Computing Technology, Chinese Academy of Sciences, Beijin9 100080, P.R. China; 2 Graduate School of the Chinese Academy of Sciences, Beijing 100030, P.R. China; 3 School of Computer and Information, Hefei University of Technology, Hefei 230000, P.R. China |
| Abstract: | |
| Keywords: | design verification simulation coverage metrics observability vector generation |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ | |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 | |
| 点击此处可从《计算机科学技术学报》下载全文 | |