On Functional Test Generation for Deep Neural Network IPs | IEEE Conference Publication | IEEE Xplore