LOGIC and SYSTEM DESIGN of DIGITAL SYSTEMS
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:
- Synthesis of logic circuits with NOR-NAND gates (Chapter 1);
- Introduction of Combined model of an automaton (Chapter 2);
- Synthesis of FSMs Mealy, Moore and their Combined model from ASM (Chapter
4);
- FSM decomposition (Chapter 4);
- Synthesis of mulWevel and multioutput circuits for FSMs (Chapter 5);
- Minimization of conditional vertices in ASMs (Chapter 6);
- Combining of ASMs with generalized operators (Chapter 6 and Chapter 7);
- Design methodology for high level synthesis (Chapter 7)
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:
