Hayes, John P.: Hierarchical Modeling for VLSI Circuit Testing