Shuo Sheng, Koichiro Takayama, Michael S. Hsiao
Effective safety property checking using simulation-based sequential ATPG
DAC, 2002.
@inproceedings{DAC-2002-ShengTH,
author = "Shuo Sheng and Koichiro Takayama and Michael S. Hsiao",
booktitle = "{Proceedings of the 39th Design Automation Conference}",
doi = "10.1145/513918.514120",
isbn = "1-58113-461-4",
pages = "813--818",
publisher = "{ACM}",
title = "{Effective safety property checking using simulation-based sequential ATPG}",
year = 2002,
}