Guorong He, Chen Dong, Xing Huang, Wenzhong Guo, Ximeng Liu, Tsung-Yi Ho. HTcatcher: Finite State Machine and Feature Verifcation for Large-scale Neuromorphic Computing Systems. In Tinoosh Mohsenin, Weisheng Zhao, Yiran Chen, Onur Mutlu, editors, GLSVLSI '20: Great Lakes Symposium on VLSI 2020, Virtual Event, China, September 7-9, 2020. pages 415-420, ACM, 2020. [doi]
@inproceedings{HeDHGLH20,
title = {HTcatcher: Finite State Machine and Feature Verifcation for Large-scale Neuromorphic Computing Systems},
author = {Guorong He and Chen Dong and Xing Huang and Wenzhong Guo and Ximeng Liu and Tsung-Yi Ho},
year = {2020},
url = {https://dl.acm.org/doi/10.1145/3386263.3406955},
researchr = {https://researchr.org/publication/HeDHGLH20},
cites = {0},
citedby = {0},
pages = {415-420},
booktitle = {GLSVLSI '20: Great Lakes Symposium on VLSI 2020, Virtual Event, China, September 7-9, 2020},
editor = {Tinoosh Mohsenin and Weisheng Zhao and Yiran Chen and Onur Mutlu},
publisher = {ACM},
isbn = {978-1-4503-7944-1},
}