Wave-pipelining is a method of high-performance circuit design which implements
pipelining in logic without the use of intermediate latches or registers. The combination of …

The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs) 5,
3], Algebraic Decision Diagrams (ADDs) 1], and Zerosuppressed Binary Decision Diagrams …

This paper informally presents the theoretical and practical foundations of synchronous
programming of reactive systems, mostly focusing on the author's Esterel language …

The fabrication of digital Integrated Circuits (ICs) is increasingly outsourced. Given this trend,
security is recognized as an important issue. The threat agent is an attacker at the IC foundry …

One of the main problems in chip design is the huge number of possible combinations of
individual chip elements, leading to a combinatorial explosion as chips become more …

We present a robust, efficient algorithm for combinational test generation using a reduction
to satisfiability (SAT). The algorithm, Test Generation Using Satisfiability (TEGUS), solves a …

Dynamic power management is a design methodology aiming at controlling performance
and power levels of digital circuits and systems, with the goal of extending the autonomous …

Recent advances in Boolean satisfiability have made it an attractive engine for solving many
digital very-large-scale-integration design problems. Although useful in many stages of the …

We present a dynamic programming technique for solving the multiple supply voltage
scheduling problem in both nonpipelined and functionally pipelined data-paths. The …

In this paper we propose BIND (binding instructions and data), a fine-grained attestation
service for securing distributed systems. Code attestation has recently received …