@User, coming back to the original diode & liberty question, just found some documents, in Synopsys flow there are specific attributes added on the liberty for checking sneak leakage paths on multi voltage designs, ie: diode making virtual rail to short main rail, diode connected to different voltage than sink and such.