The term" reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is
now commonly accepted to designate permanently operating systems, and to distinguish …

The blockchain has fueled one of the most enthusiastic bursts of activity in applied
cryptography in years, but outstanding problems in security and privacy research must be …

ABC is a public-domain system for logic synthesis and formal verification of binary logic
circuits appearing in synchronous hardware designs. ABC combines scalable logic …

We introduce Tiny Garble, a novel automated methodology based on powerful logic
synthesis techniques for generating and optimizing compressed Boolean circuits used in …

Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous
languages. This paper discusses the improvements, difficulties, and successes that have …

Approximate computing has emerged as a new design paradigm that exploits the inherent
error resilience of a wide range of application domains by allowing hardware …

This paper describes a new symbolic model checker, called NuSMV, developed as part of a
joint project between CMU and IRST. NuSMV is the result of the reengineering …

Reconfigurable Computing marks a revolutionary and hot topic that bridges the gap
between the separate worlds of hardware and software design—the key feature of …

In this paper, we propose a paradigm shift in representing and optimizing logic by using only
majority (MAJ) and inversion (INV) functions as basic operations. We represent logic …

Real-time image-processing applications impose severe design constraints in terms of area
and power. Examples of interest include retinal implants for vision restoration and on-the-fly …