A machine-readable specification of analog circuits for integration into a validation flow | IEEE Conference Publication | IEEE Xplore