Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits

Farimah Farahmandi, Prabhat Mishra. Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits. IEEE Transactions on Computers, 68(2):182-197, 2019. [doi]

Abstract

Abstract is missing.