Separation of hierarchies in vlsi design by Huys