超大型積體電路設計與計算機自動輔助設計---子計畫四：超大型積體電路之合成、測試與可測試設計