Bing Li, Chris Ka-Kei Kwok. Automatic formal verification of clock domain crossing signals. In Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009. pages 654-659, IEEE, 2009. [doi]
@inproceedings{LiK09,
title = {Automatic formal verification of clock domain crossing signals},
author = {Bing Li and Chris Ka-Kei Kwok},
year = {2009},
doi = {10.1145/1509633.1509782},
url = {http://doi.acm.org/10.1145/1509633.1509782},
researchr = {https://researchr.org/publication/LiK09},
cites = {0},
citedby = {0},
pages = {654-659},
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},
}