1 “... integrated in commercial tools, especially in the area of verijication and synthesis. The interest in BDDs...”

2 “...) concepts can be applied to circuit and system design - an area where time-to-market demands are critical...”

3 “... metrics including latency and area overhead as well as the reliability issue caused by short memory...”

4 “... multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer...”

5 “... in this area, because every quantum circuit is inherently reversible and thus requires reversible descriptions...”

6 “... being optimal and insufficient regarding the optimization criteria, like area and delay, several...”

7 “... verification (in industry or academia) to keep informed about recent developments in this area...”

8 “... to the fore. The book will beof value to researchers and students in the areas of information theory...”

9 “... different areas of circuit design, like logic synthesis, mapping and testing, are described in detail...”