Ulus, D., Sen, A., Baskaya, F., “Integrating Circuit analyses for assertion-based verification of prog- rammable AMS circuits””, Forum on Specification and Design Languages (FDL), 2013, Fransa, Forum on Specification and Design Languages (FDL), 2013