An abstract-symbolic description of circuit structure | IEEE Journals & Magazine | IEEE Xplore