Automated test model generation from switch level custom circuits | IEEE Conference Publication | IEEE Xplore