TY - GEN
T1 - Formal methods for emerging technologies
AU - Wille, Robert
AU - Drechsler, Rolf
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2016/1/5
Y1 - 2016/1/5
N2 - Formal methods advanced to an important core technique in Computer-Aided Design (CAD). At the same time, researchers and engineers also started the investigation of so-called emerging technologies such as reversible computation, quantum computation, or optical circuits. Although most of these technologies are still in a rather academic state, first physical realizations have already been presented. This motivates a more detailed consideration of how to design circuits for these technologies. As for conventional circuits, formal methods do play an important role here. In this tutorial paper1, we are aiming to address the current momentum caused by the recent accomplishments and provide an overview of these emerging technologies as well as their corresponding CAD methods. This includes a special focus on how formal methods may help in the design and verification of circuits for those technologies.
AB - Formal methods advanced to an important core technique in Computer-Aided Design (CAD). At the same time, researchers and engineers also started the investigation of so-called emerging technologies such as reversible computation, quantum computation, or optical circuits. Although most of these technologies are still in a rather academic state, first physical realizations have already been presented. This motivates a more detailed consideration of how to design circuits for these technologies. As for conventional circuits, formal methods do play an important role here. In this tutorial paper1, we are aiming to address the current momentum caused by the recent accomplishments and provide an overview of these emerging technologies as well as their corresponding CAD methods. This includes a special focus on how formal methods may help in the design and verification of circuits for those technologies.
UR - http://www.scopus.com/inward/record.url?scp=84964465085&partnerID=8YFLogxK
U2 - 10.1109/ICCAD.2015.7372551
DO - 10.1109/ICCAD.2015.7372551
M3 - Conference contribution
AN - SCOPUS:84964465085
T3 - 2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
SP - 65
EP - 70
BT - 2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 34th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
Y2 - 2 November 2015 through 6 November 2015
ER -