Is there a list of designs (digital, analog or mixed signal) that have been tapeout using the sky130 pdk and were working after fabrication?