There are schematic analysis tools which do that now just based on the netlist