Hierarchical Modeling for VLSI Circuit Testing - Bhattacharya, Debashis; Hayes, John P. (Kluwer Academic Publishers, 1990)