A Novel Software Architecture for Computer-Aided Analysis of Circuits with Uncertain Parameters