Hussain Al-Asaad Efficient Global Fault Collapsing for Combinational Library Modules. 37-43 2007 conf/cdes/2007 CDES db/conf/cdes/cdes2007.html#Al-Asaad07