Samary Baranov


Prof. Samary Baranov has many years experience in electronics industry, culminating in being appointed the project manager of the first VLSI circuit in the former Soviet Union. In 1975, he joined the Camp. Eng. Department of the Institute of Precise Mechanics and Optics in Sl. Petersburg as professor. From 1991 Samary Baranov has been working in Israel as professor in Beer-Sheva University, Holon Institute of Technology and Bar Han University. He is author of nine books, ten textbooks for students and more than 70 papers in Russian, French and English.

Contact author: samary@012.net.il

Book Introduction

    This book of Samary Baranov is a successful contribution to representing design of digital systems as a transparent and well-settled methodology. The author, as nobody else, delivers very sophisticated things in an extremely simple manner.
Professor llya Levin, TelAviv University

This comprehensive book will become an important source of reference for students and engineers of logic design. Difficult concepts become simple being described by Samary Baranov.
Boris Gutkovich, PhD, Intel Corporation

I have been using the books of Professor Samary Baranov for teaching students in Tallinn University of Technology (TUT) for over 20 years. This monograph is a wonderful addition to the previous ones and has found many grateful readers all overthe world.
Margus Kruus, PhD, Tallinn University of Technology

This book presents a new methodology for high level and logic design of complicated digital systems. This methodology is based on Algorithmic State Machine (ASM) transformations (composition, minimization, extraction, etc.). special algorithms for Data Path and Control Unit design and a very fast optimizing synthesis of FSMs as well as combinational circuits with hardly any constraints on their size, i.e., the number of inputs, outputs and states. Design tools supporting this methodology allow us to implement. check and estimate many possible design versions very fast, to find an optimized decision of a design problem and to simplify the verification problem for digital systems.

Many special methods and algorithms presented in this book, such as:

were developed by the author during his long-term work in the design of digital systems and EDA tools and teaching various courses in different colleges and universities. Some methods described in the book are published for the first time. These methods were implemented in the EDA tool Abelite for logic and system design of very complicated digital circuits and systems. Most of the examples in this book were constructed using this tool.

Additional resources: