Method and system for converting netlist of integrated circuit between librariesпатент