Login / Signup
HTcatcher: Finite State Machine and Feature Verifcation for Large-scale Neuromorphic Computing Systems.
Guorong He
Chen Dong
Xing Huang
Wenzhong Guo
Ximeng Liu
Tsung-Yi Ho
Published in:
ACM Great Lakes Symposium on VLSI (2020)
Keyphrases
</>
computing systems
finite state machines
computer systems
computing technologies
finite state automata
model checking
parallel computing
digital circuits
high performance computing
state machine
hidden markov models
autonomic computing
autonomic computing systems
xml data
pattern matching
heterogeneous systems