Disjoint Region Partitioning for Probabilistic Switching Activity Estimation at Register Transfer Level | Publicación