System and method for analyzing a circuit

摘要

A system and method for analyzing a circuit. In one embodiment, a tool generates path information based upon a netlist that describes the circuit. A synthesizer generates a nodal data structure responsive to the path information. A parser is operable to parse a nodal query to provide a tree structure such that each leaf of the tree structure comprises a segmented expression of the nodal query. A resolver accesses the nodal data structure and tree structure in order to generate a solution set that satisfies at least one of the segmented expressions.