HECTOR: a hierarchical topology-construction program for analog circuits based on a declarative approach to circuit modeling | IEEE Conference Publication | IEEE Xplore