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: firstname.lastname@example.org
|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.