A hierarchical approach to large circuit symbolic simulation. - S. Dordevic; P. Petkovic (Microelectron. Reliab., 2001)