03820cam a2200325 a 45000010009000000050017000090080041000260100017000670150019000840160018001030200029001210200026001500200018001760350024001940500025002180820022002431000017002652450070002822500026003522600068003783000034004465040051004805050850005315200859013815201099022406500031033396500022033707000018033928560084034101588659020151123054422.0090831s2010 enka b 001 0 eng a 2009036353 aGBA9842622bnb7 a0153570292Uk a9780521857482 (hardback) a0521857481 (hardback) a9780521176804 a(OCoLC)ocn31887205900aQA267.5.S4bK64 201000a511.35222bKOH/S1 aKohavi, Zvi.10aSwitching and finite automata theory /cZvi Kohavi, Niraj K. Jha. a3rd ed. /bNiraj Jha. aCambridge, UK ;aNew York :bCambridge University Press,c2010. axii, 617 p. :bill. ;c26 cm. aIncludes bibliographical references and index.0 aPreface -- Part I. Preliminaries: 1. Number systems and codes -- 2. Sets, relations, and lattices -- Part II. Combinational Logic: 3. Switching algebra and its applications -- 4. Minimization of switching functions -- 5. Logic design -- 6. Multilevel logic synthesis -- 7. Threshold logic for nanotechnologies- -- 8. Testing of combinational circuits -- Part III. Finite State Machines: 9. Introduction to synchronous sequential circuits and iterative networks -- 10. Capabilities, minimization, and transformation of sequential machines -- 11. Asynchronous sequential circuits -- 12. Structure of sequential machines -- 13. State-identification experiments and testing of sequential circuits -- 14. Memory, definiteness, and information losslessness of finite automata -- 15. Linear sequential machines -- 16. Finite-state recognisers -- Index. a"Understand the structure, behaviour, and limitations of logic machines with this thoroughly updated third edition. Many new topics are included, such as CMOS gates, logic synthesis, logic design for emerging nanotechnologies, digital system testing, and asynchronous circuit design, to bring students up-to-speed with modern developments. The intuitive examples and minimal formalism of the previous edition are retained, giving students a text that is logical and easy to follow, yet rigorous. Kohavi and Jha begin with the basics, and then cover combinational logic design and testing, before moving on to more advanced topics in finite-state machine design and testing. Theory is made easier to understand with 200 illustrative examples, and students can test their understanding with over 350 end-of-chapter review questions"--Provided by publisher. a"Topics in switching and finite automata theory have been an important part of the curriculum in electrical engineering and computer science departments for several decades. The third edition of this book builds on the comprehensive foundation provided by the second edition and adds: significant new material in the areas of CMOS logic; modern two-level and multi-level logic synthesis methods; logic design for emerging nanotechnologies; test generation, design for testability and built-in self-test for combinational and sequential circuits; modern asynchronous circuit synthesis techniques; etc. We have attempted to maintain the comprehensive nature of the earlier edition in providing readers with an understanding of the structure, behavior, and limitations of logical machines. At the same time, we have provided an up-to-date context in which the presented techniques can find use in a variety of applications.We start with introductory material and build up to more advanced topics. Thus, the technical background assumed on the part of the reader is minimal"--Provided by publisher. 0aSequential machine theory. 0aSwitching theory.1 aJha, Niraj K.423Cover imageuhttp://assets.cambridge.org/97805218/57482/cover/9780521857482.jpg