A machine-readable specification of analog circuits for integration into a validation flow. - Mingyu Ma 002; Lars Hedrich; Christian Sporrer (FDL, 2011)

ASDeX: a formal specification for analog circuit enabling a full automated design validation. - Mingyu Ma 002; Lars Hedrich; Christian Sporrer (Des. Autom. Embed. Syst., 2014)