Scalable techniques and tools for reliability analysis of large circuits