This consistently written book provides a comprehensive presentation of a multitude of results stemming from the author's as well as various researchers' work i

This book discusses control units represented by the model of a finite state machine (FSM). It contains various original methods and takes into account the pecu

This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced S

A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of

One of the very important parts of any digital system is the control unit, coordin- ing interplay of other system blocks. As a rule, control units have irregula