Test generation and fault simulation algorithms for sequential circuits with embedded RAMs | IEEE Conference Publication | IEEE Xplore