Verify¶

The main function for checking the equivalence of two quantum circuits using QCEC is the verify() method.

verify(circ1, circ2, configuration=None, **kwargs)[source]¶

Verify that circ1 and circ2 are equivalent.

Wraps creating an instance of EquivalenceCheckingManager, calling EquivalenceCheckingManager.run(), and calling EquivalenceCheckingManager.get_results().

There are two (non-exclusive) ways of configuring the equivalence checking process:

Pass a Configuration instance as the configuration argument.

2. Pass keyword arguments to this function. These are directly incorporated into the Configuration. Any existing configuration is overridden by keyword arguments.

Parameters:

circ1 (QuantumCircuit | str) – The first circuit.

circ2 (QuantumCircuit | str) – The second circuit.

configuration (Configuration | None) – The configuration to use for the equivalence checking process.

**kwargs (Unpack[ConfigurationOptions]) – Keyword arguments to configure the equivalence checking process.

Returns:

Results – The results of the equivalence checking process.