Efficient don't care computation for hierarchical designs. - Kanupriya Gulati; M. Lovell; Sunil P. Khatri (ISCAS, 2006)