Maximizing conditional reuse by pre-synthesis transformations | Publicación