Title:A Prototype of a Hardware SAT Solver for Similar Large Instances and Its Application to Test Generation

Authors: Tsuyoshi Iwagaki, Syoichi Ohmoto, Hideyuki Ichihara, Tomoo Inoue

Jounrnals:Digest of Papers 16th IEEE Workshop on RTL and High Level Testing (WRTLT '15)

Published Month: 11

Published Year: 2015

Type: inproceedings