Test generation for circuits with embedded memories using SMT | IEEE Conference Publication | IEEE Xplore