Data-intensive computing operations, such as training neural networks, are essential for
applications in artificial intelligence but are energy intensive. One solution is to develop …

Satisfiability Testing (SAT) techniques are well-established in classical computing where
they are used to solve a broad variety of problems, eg, in the design of classical circuits and …

Abstract Environmental, Safety, Health, and Sustainability (ESHS) have become an
indispensable issue in the semiconductor industry. The" Beyond CMOS" chapter of the …

Growing interest in reversible computation has led to an accelerated development of
reversible programming languages and software, which reinforces the need for optimizing …

Reversible computing is a technique to “let computations run forwards and backwards” and
thus extends the traditional model of computation. As an example, consider a function to …

Reversible programming languages have been a focus of research for more than the last
decade mostly due to the work of Glück, Yokoyama, Mogensen, and many others. In this …

Reversible circuits employ a computing paradigm that is useful in a broad variety of
applications. With increasing interest, security concerns for those circuits also will rise in the …

Reversible programming languages have been a focus of research for more than the last
decade mostly due to the work of Glück, Yokoyama, Mogensen, and many others. In this …

Reversible logic is a building block for adiabatic and quantum computing in addition to other
applications. Since common functions are non-reversible, one needs to embed them into …

Today, the verification of classical circuits poses a severe challenge for the design of circuits
and systems. While the underlying (exponential) complexity is tackled in various fashions …