A computer-based system and method is provided for building a representation of a hierarchical circuit design and component intrusions for the components making up the circuit design, as well as for verifying a design so-represented. For a subject hierarchical circuit design, a VLSI circuit design component...http://www.google.de/patents/US5528508?utm_source=gb-gplus-sharePatent US5528508 - System and method for verifying a hierarchical circuit design
