selected publications conference paper Automated DfT insertion and test generation for 3D-SICs with embedded cores and multiple towers 2013