Po-Chun Chien

Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)

We build the first machine-learning-based algorithm selection tool for hardware verification described in the Btor2 format. In addition to hardware verifiers, our tool also selects from a set of software verifiers to solve a given Btor2 instance, enabled by a Btor2-to-C translator. We propose two em…