A simplification before and during generation methodology for symbolic large-circuit analysis | IEEE Conference Publication | IEEE Xplore