Book Hierarchical Modeling For Vlsi Circuit Testing