Automation for Early Detection of X-propagation in Power-Aware Simulation Verification using UPF IEEE 1801 Author(s): Tony Gladvin George, Ramesh Kumar, Kyuho Shim, Karan K, Wooseong Cheong, ByungChul Yoo Download