Yansong Zheng, Dong Tong, Hao Li, Keyi Wang, Xu Cheng. Track Down HW Function Faults Using Real SW Invariants. In Mark Burgin, Masud H. Chowdhury, Chan H. Ham, Simone A. Ludwig, Weilian Su, Sumanth Yenduri, editors, CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes. pages 248-253, IEEE Computer Society, 2009. [doi]
@inproceedings{ZhengTLWC09,
title = {Track Down HW Function Faults Using Real SW Invariants},
author = {Yansong Zheng and Dong Tong and Hao Li and Keyi Wang and Xu Cheng},
year = {2009},
doi = {10.1109/CSIE.2009.225},
url = {http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.225},
researchr = {https://researchr.org/publication/ZhengTLWC09},
cites = {0},
citedby = {0},
pages = {248-253},
booktitle = {CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes},
editor = {Mark Burgin and Masud H. Chowdhury and Chan H. Ham and Simone A. Ludwig and Weilian Su and Sumanth Yenduri},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3507-4},
}