Representations of Discrete Functions is an edited volumecontaining 13 chapter contributions fr...

Logic Synthesis and Optimization presents up-to-dateresearch information in a pedagogical form....

Switching Theory for Logic Synthesis covers the basictopics of switching theory and logic synth...

This book describes the synthesis of logic functions using memories. It is useful to design field...

Research and development of logic synthesis and verificationhave matured considerably over the ...

This book brings together five topics on the application of Boolean functions. They are 1. Equiva...

Index generation functions are binary-input integer valued functions. They represent functions of...

A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically ...

Introduction.- Definitions and Basic Properties.- Minimization of Variables: Exact Method.- Minim...

This book describes the synthesis of logic functions using memories. It is useful to design field...

Logic Synthesis and Optimization presents up-to-dateresearch information in a pedagogical form....

Research and development of logic synthesis and verificationhave matured considerably over the ...