Automating the Use of State-Space Representations in Mixed-Signal IC Design and Verification | VDE Conference Publication | IEEE Xplore