Julien Gacon

Hi @Ak-ash22, yes that would be great! 🙂 You can start by having a look at the functions in https://github.com/Qiskit/qiskit/blob/5757fa0a34ea3edd4565555e2ebdecbbeb0db387/qiskit/synthesis/multi_controlled/mcx_synthesis.py and see whether any tests fail if substituting the `U1/CU1/MCU1Gate`...

Could you open a draft PR with your changes? Without code to look at it's difficult to give feedback. 🙂

Regarding naming: Since there could be multiple methods that use no ancillas, would it make sense to use unique names for the methods, like in e.g. the linear function synthesis?...

This looks like it might be related to #12834, as the above works with other `BackendV2`s (such as `qiskit_ibm_runtime.fake_provider.FakeSherbrooke`.

As you've also pointed out in the description, these are simulators and don't have a concept of gate durations. If you're looking for an emulation of a real device, you...

It would, but that might be a too specific error message, as not finding the duration of a gate could have other reasons... If there's a way to check whether...

We could potentially add a warning/error if the target durations are completely empty, in which case there's no way we can schedule a (non-empty) circuit 🤔

There's yet no `sqrt(iSwap)`-based decomposition in Qiskit -- do you mean a decomposition as described in https://arxiv.org/pdf/2105.06074v3? If yes, there's ongoing work (https://github.com/Qiskit/qiskit/pull/9375) which could be taken up again 🙂

Thanks for the contribution @amiigas! The special MCX gate types are currently being replaced with a more efficient and user-friendly plugin interface, which allows the compiler to make smarter decisions...

FWIW you can always use `qiskit.quantum_info.Statevector` to get the exact probabilities, like ```python from qiskit.quantum_info import Statevector probs = Statevector(your_circuit).probabilities_dict() # {"0..": prob, ... } ``` which you could even...