Verify

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

verify(circ1, circ2, configuration=None, **kwargs)

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:

1. 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.