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