1. An electromagnetic waveform comprising a computer program, the computer program for producing a decomposition of a constraint during functional verification of a representation of an electronic design of an integrated circuit (IC), the computer program comprising the following steps when executed by a data processing system: producing an H term by quantification of a first variable from the constraint; producing a G term by quantification of a second variable, different than the first variable, from the constraint; returning the H term and the G term as a decomposition of the constraint if a result of a Boolean connective operator, applied to the H term and the G term, is functionally equivalent to the constraint.