Boolean minimization and algebraic factorization procedures for fully testable sequential machines.

Srinivas Devadas, Kurt Keutzer

Browse the full ICCAD paper archive.