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]
Abstract is missing.