RTL error diagnosis using a word-level SAT-solver

Submitted by Amirali Ghofrani on Tue, 04/07/2015 - 22:35
S. Mirzaeian, Zheng, F., and Cheng, K. - T. Tim, “RTL error diagnosis using a word-level SAT-solver”, in Test Conference, 2008. ITC 2008. IEEE International, 2008.