Overhead reduction techniques for hierarchical fault simulation. - Eiji Harada; Janak H. Patel (Asian Test Symposium, 1995)