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