Mingyu Ma

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Automated Design

Fault Diagnosis

Top Venues

Des. Autom. Embed. Syst.

Publications

Mingyu Ma, Lars Hedrich, Christian Sporrer
ASDeX: a formal specification for analog circuit enabling a full automated design validation. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Mingyu Ma, Lars Hedrich, Christian Sporrer
A machine-readable specification of analog circuits for integration into a validation flow. FDL (2011)