RERTL: Finite State Transducer Logic Recovery at Register Transfer Level.

Jason Portillo Travis Meade John Hacker Shaojie Zhang Yier Jin

Published in: AsianHOST (2019)

Keyphrases

logic programming
artificial intelligence
finite state transducers
knowledge base
feature extraction
pattern recognition
modal logic