search

qiskit-community / qiskit-camp-europe-19

18 stars 5 forks source link

Quantum Circuit (Formal) Verification #22

Closed kerenavnery closed 5 years ago

kerenavnery commented 5 years ago

Abstract

Formal Verification is used in hardware design to make sure a design is doing what it is supposed to do. (https://en.wikipedia.org/wiki/Functional_verification) How to do a quantum computation:

  1. Design your circuit
  2. Code the circuit 3. Make sure there are no errors in the code and the functionality is implemented as designed
  3. Send to a backend and profit!

Description

Verification is mainly to make sure the design is implemented correctly by the user. It is not about errors included in the hardware or gates.

Members

Repository

https://github.com/kerenavnery/qiskit-terra

1ucian0 commented 5 years ago

I would like to hear more about this!

On Wed, Sep 11, 2019, 5:28 PM kerenavnery notifications@github.com wrote:

Abstract

Formal Verification is used in hardware design to make sure a design is doing what it is supposed to do. ( https://en.wikipedia.org/wiki/Functional_verification) How to do a quantum computation:

  1. Design your circuit
  2. Code the circuit 3. Make sure there are no errors in the code and the functionality is implemented as designed
  3. Send to a backend and profit!

Description

Verification is mainly to make sure the design is implemented correctly by the user. It is not about errors included in the hardware or gates. Members

-

@kerenavnery https://github.com/kerenavnery - Slack: @kerena email: keren.avnery@weizmann.ac.il

IBM Coach: @githubhandle https://github.com/githubhandle

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/qiskit-community/qiskit-camp-europe-19/issues/22?email_source=notifications&email_token=AAF3FZNNNGEK5ZGFWCK7MQDQJFPGJA5CNFSM4IVZCEKKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HK2SWAQ, or mute the thread https://github.com/notifications/unsubscribe-auth/AAF3FZNBQ46QCJRUA3VHPT3QJFPGJANCNFSM4IVZCEKA .