Mixed-Level Sequential Test Generation Using a Nine-Valued Relaxation Algorithm.

Chun-Hung Chen, Jacob A. Abraham

Browse the full ICCAD paper archive.