Digital MOS circuit partitioning with symbolic modeling | Publicación