We first introduce a method called quantum path verification, where we search for a break in a quantum network. After explaining these capabilities, we address gate internal faults. We present new fault models to represent crosstalk and unwanted nearest neighbor entanglement. When witnessed, these errors are probabilistic, but there is a set of tests that has the highest probability of detecting a fault. We introduce a method of probabilistic set covering to identify this set of tests. A large part of our work consisted of writing a software package that allows us to compare various fault models and test strategies
Noisy Intermediate-Scale Quantum (NISQ) computers consisting of tens of inherently noisy quantum bit...
Quantum software development is the process of conceiving, specifying, designing, programming, docum...
Abstract—We like to introduce fQuantum, a Quantum Computing Fault Simulator and new quantum computin...
We first introduce a method called quantum path verification, where we search for a break in a quant...
This work extends a general method used to test classical circuits to quantum circuits. Gate interna...
In classical test and verification one develops a test set separating a correct circuit from a circu...
It is believed that quantum computing will begin to have an impact around year 2010. Much work is do...
Test pattern generation is an electronic design automation tool that attempts to find an input (or t...
It is believed that quantum computing will begin to have a practical impact in industry around year ...
Current processes validation methods rely on diverse input states and exponential applications of st...
It is believed that quantum computing will begin to have a practical impact in industry around year ...
In support of the growing interest in quantum computing experimentation, programmers need new tools ...
Quantum networks provide numerous potential benefits over classical networks, such as enhanced secur...
Ensuring the correct functioning of quantum error correction (QEC) circuits is crucial to achieve fa...
Although security of quantum cryptography is provable based on principles of quantum mechanics, it c...
Noisy Intermediate-Scale Quantum (NISQ) computers consisting of tens of inherently noisy quantum bit...
Quantum software development is the process of conceiving, specifying, designing, programming, docum...
Abstract—We like to introduce fQuantum, a Quantum Computing Fault Simulator and new quantum computin...
We first introduce a method called quantum path verification, where we search for a break in a quant...
This work extends a general method used to test classical circuits to quantum circuits. Gate interna...
In classical test and verification one develops a test set separating a correct circuit from a circu...
It is believed that quantum computing will begin to have an impact around year 2010. Much work is do...
Test pattern generation is an electronic design automation tool that attempts to find an input (or t...
It is believed that quantum computing will begin to have a practical impact in industry around year ...
Current processes validation methods rely on diverse input states and exponential applications of st...
It is believed that quantum computing will begin to have a practical impact in industry around year ...
In support of the growing interest in quantum computing experimentation, programmers need new tools ...
Quantum networks provide numerous potential benefits over classical networks, such as enhanced secur...
Ensuring the correct functioning of quantum error correction (QEC) circuits is crucial to achieve fa...
Although security of quantum cryptography is provable based on principles of quantum mechanics, it c...
Noisy Intermediate-Scale Quantum (NISQ) computers consisting of tens of inherently noisy quantum bit...
Quantum software development is the process of conceiving, specifying, designing, programming, docum...
Abstract—We like to introduce fQuantum, a Quantum Computing Fault Simulator and new quantum computin...