The DESN program lists Konstantinos Glaros, also introduced as Kostas Glaros, as EnSilica associate director of analogue IC design. His talk addresses AMS and DMS verification where multiple analog channels operate alongside complex digital signal processing, and traceable requirements compliance in industrial and automotive ASICs. This records a named technical presentation and its published scope; the public abstract does not identify a specific modeling language or quantified verification result.