Test generation for sequential circuits using individual initial value propagation.

Takuji Ogihara, Shuichi Saruyama, Shinichi Murai

Browse the full ICCAD paper archive.