Yuki Yoshikawa, Satoshi Ohtake, Tomoo Inoue, Hideo Fujiwara. Fast false path identification based on functional unsensitizability using RTL information. In Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009. pages 660-665, IEEE, 2009. [doi]
@inproceedings{YoshikawaOIF09,
title = {Fast false path identification based on functional unsensitizability using RTL information},
author = {Yuki Yoshikawa and Satoshi Ohtake and Tomoo Inoue and Hideo Fujiwara},
year = {2009},
doi = {10.1145/1509633.1509784},
url = {http://doi.acm.org/10.1145/1509633.1509784},
tags = {rule-based},
researchr = {https://researchr.org/publication/YoshikawaOIF09},
cites = {0},
citedby = {0},
pages = {660-665},
booktitle = {Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009},
publisher = {IEEE},
isbn = {978-1-4244-2748-2},
}