A Method for Concurrent Decomposition and Factorization of Boolean Expressions. - Jagadeesh Vasudevamurthy; Janusz Rajski (ICCAD, 1990)

Testability preserving transformations in multi-level logic synthesis. - Janusz Rajski; Jagadeesh Vasudevamurthy (ITC, 1990)

Recent advances in logic synthesis with testability. - Janusz Rajski; Jagadeesh Vasudevamurthy; Aiman El-Maleh (VTS, 1992)

The testability-preserving concurrent decomposition and factorization of Boolean expressions. - Janusz Rajski; Jagadeesh Vasudevamurthy (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)