From 417ea6225fea1ce87109b41c86b209c062303926 Mon Sep 17 00:00:00 2001 From: ABBY CROSS Date: Tue, 6 Feb 2024 14:44:27 -0500 Subject: [PATCH] Update index.mdx --- docs/verify/index.mdx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/verify/index.mdx b/docs/verify/index.mdx index 06e1e4a141b..eb511c53a81 100644 --- a/docs/verify/index.mdx +++ b/docs/verify/index.mdx @@ -11,7 +11,7 @@ Because the cost of classically simulating quantum circuits scales exponentially - Test smaller versions of the circuits that can be simulated classically. - Modify the circuits so that they become classically simulable and test these modified circuits. -Stabilizer circuits are a useful tool for accomplishing this latter goal. These are a restricted class of quantum circuits that can be efficiently simulated classically. Specialized simulators can easily simulate stabilizer circuits with thousands of qubits. See [Efficient simulation of stabilizer circuits with Qiskit Aer primitives](stabilizer-circuit-simulation) for an overview of stabilizer circuits and how to simulate them efficiently. +Stabilizer circuits are a useful tool for accomplishing this latter goal. These are a restricted class of quantum circuits that can be efficiently simulated classically. Specialized simulators can easily simulate stabilizer circuits with thousands of qubits. See [Efficient simulation of stabilizer circuits with Qiskit® Aer primitives](stabilizer-circuit-simulation) for an overview of stabilizer circuits and how to simulate them efficiently. For general quantum circuits, the following tools are available for you to verify your quantum programs: