Integration of algorithmic VLSI synthesis with testability incorporation | IEEE Journals & Magazine | IEEE Xplore