A simplification before and during generation methodology for symbolic large-circuit analysis | Publicación