Abstract: The downsizing of nanoscale circuits imposes new challenges for circuit reliability, including hard defects, soft errors and unsaturated voltage/current. Many studies on the reliability of ...

Many computational problems, such as optimization and integer factorization, remain challenging for traditional computers. These problems often require exploring a large number of possible solutions, ...

Abstract: Combinational Equivalence Checking (CEC) is a crucial technique in electronic design automation for verifying the functional equivalence of combinational circuits. Recently, combinational ...

When we develop quantum algorithms, we don't start from scratch. We leverage existing building blocks in a circuit library to construct the circuits we are interested in. This allows us to develop ...