Annotation and netlist update