The degree of conditional hardware reuse achieved after a high-level synthesis process depends on two factors: the number of mutually exclusive (m.e.) operations pairs that an algorithm can detect and the description style used by the designer when specifying the system. In this paper, we propose a method that deals with both aspects. It includes a mechanism to analyze the input description and identify all the m.e. operations pairs in a simple and homogeneous way, independently of the conditional constructs (IF or CASE) used to specify the control flow of the system. It also provides a collection of formal transformations on the input description which produces a specification of the same behavior that leads to an improved implementation -in terms of the degree of conditional reuse that is achieved.